Resolve - Visit types in type annotations (`<expr>: <type>`)
Resolve - Visit types in type annotations (`<expr>: <type>`)

thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc