{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"{"}]}
        {
                .find(|supertrait| supertrait.def_id() == target_principal.def_id())
            // erase regions in self type for better diagnostic presentation