{"ast_node_type":"variable","tokens":[{"end":67,"kind":"keyword","start":0,"text":"let"}]}
            let (self_ty, target_principal, supertrait_principal) =
            // erase regions in self type for better diagnostic presentation
                tcx.erase_regions((self_ty, target_principal, supertrait_principal));