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