{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"ProjectionTyExt,"}]}
    ProjectionTyExt, Solution, TraitRefExt, Ty, TyKind, TypeFlags, WhereClause, db::HirDatabase,
    AliasEq, AliasTy, Canonical, DomainGoal, Goal, Guidance, InEnvironment, Interner, ProjectionTy,
    infer::unify::InferenceTable, utils::UnevaluatedConstEvaluatorFolder,