Skip to main content Module types Copy item path Source Bound Symbol Dot-qualified identifier for a named type, method, value, or variant. TypeVarId A unique handle identifying a type variable. The binding state (Unbound /
Bound-to-a-Type) lives in a TypeEnv owned by the checker; the handle is
a plain id so Type stays a pure value (Clone, Eq, Hash, Serialize). CompoundKind NumericFamily SimpleKind Type build_substitution_map Build a substitution map from a list of generics and their type arguments,
pairing each generic’s name with the type at the same position. is_range_type_name module_part Extract the module part of a dot-qualified identifier — the first
segment, before any dot. peel_alias Walk an alias chain via underlying_ty (preserves substitution); cycle
guard defends against chains that slip past circular_type_alias. peel_alias_id Walk an alias chain by id alone; used when no Type with
underlying_ty is available (e.g. Go-name resolution). peel_to_range_type substitute unqualified_name Extract the unqualified name from a dot-qualified identifier. SubstitutionMap type param name -> type variable