{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":".type_implements_trait(trait_def_id,"}]}
                .type_implements_trait(trait_def_id, args, param_env)
            if !infcx
                .must_apply_modulo_regions()