Function rustc_typeck::check::check_wf_new

pub fn check_wf_new(tcx: TyCtxt<'_>)