{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"db::HirDatabase,"}]}
    db::HirDatabase,
    Adjust, InferenceResult, Interner, TraitEnvironment, Ty, TyExt, TyKind,
    diagnostics::match_check::{