discard """ errmsg: "invalid type: 'type int' for const" """ ## issue #8610 const Foo = int