{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":".fill_with_bound_vars(crate::DebruijnIndex::INNERMOST,"}]}
        .fill_with_bound_vars(crate::DebruijnIndex::INNERMOST, 0)
    let trait_subst = TyBuilder::subst_for_def(db, trait_, None)
        .build();