{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"AliasEq,"}]}
    AliasEq, AliasTy, Binders, BoundVar, CallableSig, GoalData, ImplTraitId, Interner, OpaqueTyId,
use crate::{
    ProjectionTyExt, Solution, Substitution, TraitRef, Ty, TyKind, WhereClause, all_super_traits,