{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"Canonical,"}]}
    Canonical, Goal, Interner, ProjectionTyExt, TraitEnvironment, Ty, TyBuilder, TyKind,
use crate::{
    db::HirDatabase, infer::unify::InferenceTable,