rustc_typeck::check::wfcheck
fn for_item<'tcx>(tcx: TyCtxt<'tcx>, item: &Item<'_>) -> CheckWfFcxBuilder<'tcx>