{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":".type_implements_trait(default_trait,"}]}
                    .type_implements_trait(default_trait, [adt_ty], self.param_env)
                    .infcx
                    .may_apply()