{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"ty::Foreign(..)"}]}
            ty::Foreign(..) if self.cx().is_default_trait(goal.predicate.def_id()) => check_impls(),
            // Test: ui/traits/default_auto_traits/extern-types.rs