diff options
| author | Boxy <supbscripter@gmail.com> | 2024-06-03 02:34:35 +0100 |
|---|---|---|
| committer | Boxy <supbscripter@gmail.com> | 2024-06-05 22:25:41 +0100 |
| commit | a9702a66684f0e1f412d92a83761be2e461b69fb (patch) | |
| tree | a0996c6eb298ce6f655671c36517f7dd44e501c4 /compiler/rustc_trait_selection/src/traits/auto_trait.rs | |
| parent | 58feec9b85a18d26507dfe6d075fd128a1265888 (diff) | |
| download | rust-a9702a66684f0e1f412d92a83761be2e461b69fb.tar.gz rust-a9702a66684f0e1f412d92a83761be2e461b69fb.zip | |
Add `Ty` to `ConstKind::Value`
Diffstat (limited to 'compiler/rustc_trait_selection/src/traits/auto_trait.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/auto_trait.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/auto_trait.rs b/compiler/rustc_trait_selection/src/traits/auto_trait.rs index c3a25a50c7f..1d32ef2ccd9 100644 --- a/compiler/rustc_trait_selection/src/traits/auto_trait.rs +++ b/compiler/rustc_trait_selection/src/traits/auto_trait.rs @@ -765,8 +765,7 @@ impl<'tcx> AutoTraitFinder<'tcx> { unevaluated, obligation.cause.span, ) { - // THISPR - Ok(Some(valtree)) => Ok(ty::Const::new_value(selcx.tcx(),valtree, todo!())), + Ok(Some(valtree)) => Ok(ty::Const::new_value(selcx.tcx(),valtree, self.tcx.type_of(unevaluated.def).instantiate(self.tcx, unevaluated.args))), Ok(None) => { let tcx = self.tcx; let reported = |