{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"ty::Adt(def,"}]}
        ty::Adt(def, _) if def.did().is_local() => return Ok(()),
    match checker.impl_header.trait_ref.instantiate_identity().self_ty().kind() {
        ty::Error(_) => return Ok(()),