user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

check args in new_coroutine_witness

Browse source
This commit is contained in:
lcnr 2025-08-12 16:16:08 +02:00
parent 1553adfe68
commit 3339fa5fcc
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
compiler/rustc_middle/src/ty/sty.rs
View file

@ -821,10 +821,13 @@ impl<'tcx> Ty<'tcx> {
#[inline]
pub fn new_coroutine_witness(
tcx: TyCtxt<'tcx>,
id: DefId,
def_id: DefId,
args: GenericArgsRef<'tcx>,
) -> Ty<'tcx> {
Ty::new(tcx, CoroutineWitness(id, args))
if cfg!(debug_assertions) {
tcx.debug_assert_args_compatible(tcx.typeck_root_def_id(def_id), args);
}
Ty::new(tcx, CoroutineWitness(def_id, args))
}
// misc