{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"db::{HirDatabase,"}]}
    db::{HirDatabase, InternedClosure},
    ClosureId, Interner, Substitution, Ty, TyExt, TypeFlags,
    display::DisplayTarget,