//@ check-pass
enum _Enum {
A(),
}
type _E = _Enum;
const fn _a() -> _Enum {
_E::A()
const _A: _Enum = _a();
fn main() {}