{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"infer::normalize,"}]}
    infer::normalize,
    db::HirDatabase,
    inhabitedness::{is_enum_variant_uninhabited_from, is_ty_uninhabited_from},