discard """ errormsg: "invalid type: 'typedesc[int]' for const" """ ## bug #8610 const Foo = int