diff options
| author | Wesley Wiser <wesleywiser@microsoft.com> | 2021-11-19 18:02:42 -0500 |
|---|---|---|
| committer | Wesley Wiser <wesleywiser@microsoft.com> | 2021-12-03 19:30:19 -0500 |
| commit | 14c619340e4df07c79e60ac051a0796b30fd0acc (patch) | |
| tree | a12e89b8a03a0f5a7f367ae7ee4f0590a8ff0d15 | |
| parent | 532d2b14c05f9bc20b2d27cbb5f4550d28343a36 (diff) | |
| download | rust-14c619340e4df07c79e60ac051a0796b30fd0acc.tar.gz rust-14c619340e4df07c79e60ac051a0796b30fd0acc.zip | |
Add test for evaluate_obligation: Ok(EvaluatedToOkModuloRegions) ICE
Adds the minimial repro test case from #85360. The fix for #85360 was supposed to be #85868 however the repro was resolved in the 2021-07-05 nightly while #85360 didn't land until 2021-09-03. The reason for that is d34a3a401b4e44f289a4d5bf53da83367cbb6aa7 **also** resolves that issue. To test if #85868 actually fixes #85360, I reverted d34a3a401b4e44f289a4d5bf53da83367cbb6aa7 and found that #85868 does indeed resolve #85360. With that question resolved, add a test case to our incremental test suite for the original Ok(EvaluatedToOkModuloRegions) ICE. Thanks to @lqd for helping track this down!
| -rw-r--r-- | src/test/incremental/issue-85360-eval-obligation-ice.rs | 117 |
1 files changed, 117 insertions, 0 deletions
diff --git a/src/test/incremental/issue-85360-eval-obligation-ice.rs b/src/test/incremental/issue-85360-eval-obligation-ice.rs new file mode 100644 index 00000000000..e05da656db6 --- /dev/null +++ b/src/test/incremental/issue-85360-eval-obligation-ice.rs @@ -0,0 +1,117 @@ +// revisions:cfail1 cfail2 +// compile-flags: --crate-type=lib --edition=2021 +// build-pass + +use core::any::Any; +use core::marker::PhantomData; + +struct DerefWrap<T>(T); + +impl<T> core::ops::Deref for DerefWrap<T> { + type Target = T; + fn deref(&self) -> &Self::Target { + &self.0 + } +} + +struct Storage<T, D> { + phantom: PhantomData<(T, D)>, +} + +type ReadStorage<T> = Storage<T, DerefWrap<MaskedStorage<T>>>; + +pub trait Component { + type Storage; +} + +struct VecStorage; + +struct Pos; + +impl Component for Pos { + type Storage = VecStorage; +} + +struct GenericComp<T> { + _t: T, +} + +impl<T: 'static> Component for GenericComp<T> { + type Storage = VecStorage; +} +struct ReadData { + pos_interpdata: ReadStorage<GenericComp<Pos>>, +} + +trait System { + type SystemData; + + fn run(data: Self::SystemData, any: Box<dyn Any>); +} + +struct Sys; + +impl System for Sys { + type SystemData = (ReadData, ReadStorage<Pos>); + + fn run((data, pos): Self::SystemData, any: Box<dyn Any>) { + <ReadStorage<GenericComp<Pos>> as SystemData>::setup(any); + + ParJoin::par_join((&pos, &data.pos_interpdata)); + } +} + +trait ParJoin { + fn par_join(self) + where + Self: Sized, + { + } +} + +impl<'a, T, D> ParJoin for &'a Storage<T, D> +where + T: Component, + D: core::ops::Deref<Target = MaskedStorage<T>>, + T::Storage: Sync, +{ +} + +impl<A, B> ParJoin for (A, B) +where + A: ParJoin, + B: ParJoin, +{ +} + +pub trait SystemData { + fn setup(any: Box<dyn Any>); +} + +impl<T: 'static> SystemData for ReadStorage<T> +where + T: Component, +{ + fn setup(any: Box<dyn Any>) { + let storage: &MaskedStorage<T> = any.downcast_ref().unwrap(); + + <dyn Any as CastFrom<MaskedStorage<T>>>::cast(&storage); + } +} + +pub struct MaskedStorage<T: Component> { + _inner: T::Storage, +} + +pub unsafe trait CastFrom<T> { + fn cast(t: &T) -> &Self; +} + +unsafe impl<T> CastFrom<T> for dyn Any +where + T: Any + 'static, +{ + fn cast(t: &T) -> &Self { + t + } +} |
