// RUN: fir-opt %s | tco | FileCheck %s

// CHECK-LABEL: @test
func.func @test(%arg0 : !fir.ref<!fir.char<1>>, %arg1 : !fir.ref<!fir.char<1,?>>, %arg2 : i32) {
  %0 = fir.convert %arg1 : (!fir.ref<!fir.char<1,?>>) -> !fir.ref<!fir.array<?x!fir.char<1>>>
  // CHECK: getelementptr [1 x i8], ptr
  %1 = fir.coordinate_of %0, %arg2 : (!fir.ref<!fir.array<?x!fir.char<1>>>, i32) -> !fir.ref<!fir.char<1>>
  // CHECK: load [1 x i8], ptr
  %2 = fir.load %1 : !fir.ref<!fir.char<1>>
  // CHECK: store [1 x i8]
  fir.store %2 to %arg0 : !fir.ref<!fir.char<1>>
  // CHECK: ret void
  return
}