Module type_ref
HIR for references to types. Paths in these are not yet resolved. They can be directly created from an ast::TypeRef, without further queries.
A concrete constant value
Compare ty::Ty