{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"assert!(!ty.has_infer());"}]}
                    assert!(!ty.has_infer());
                    let ty = tcx.erase_regions(ty);
                    ty.needs_drop(tcx, wfcx.infcx.typing_env(wfcx.param_env))