pub fn visit_type_spec( t: &Loc<TypeSpec>, kind: &TypeSpecKind, ctx: &mut Context, ) -> Result<Loc<TypeSpec>>