[flang] Inquiry on the KIND of a kind parameter of derived type failed

[DanielCChen]

Consider the following code:

type :: dt(k)
  integer(8), kind :: k
end type
type(dt(4))  :: d1
print*, d1%k%kind
end

Flang failed to compile the code above with

t.f:5:12: error: 'k' is not an object and may not be used as the base of a component reference or type parameter inquiry
  print*, d1%k%kind
             ^

All ifort, gfortran and XLF compile and run the code successfully.

[llvmbot]

@llvm/issue-subscribers-flang-frontend

Author: Daniel Chen (DanielCChen)

Consider the following code: ``` type :: dt(k) integer(8), kind :: k end type type(dt(4)) :: d1 print*, d1%k%kind end ```

Flang failed to compile the code above with

t.f:5:12: error: 'k' is not an object and may not be used as the base of a component reference or type parameter inquiry
  print*, d1%k%kind
             ^

All ifort, gfortran and XLF compile and run the code successfully.

[klausler]

The base of a type-param-inquiry must be a designator. A designator itself cannot be a type-param-inquiry.