{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"ty::TypingEnv::fully_monomorphized(),"}]}
                    ty::TypingEnv::fully_monomorphized(),
                let principal = tcx.normalize_erasing_late_bound_regions(
                    principal,