diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:02:58 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:02:58 +0000 |
commit | 698f8c2f01ea549d77d7dc3338a12e04c11057b9 (patch) | |
tree | 173a775858bd501c378080a10dca74132f05bc50 /src/test/ui/traits/issue-84399-bad-fresh-caching.rs | |
parent | Initial commit. (diff) | |
download | rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.tar.xz rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.zip |
Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/traits/issue-84399-bad-fresh-caching.rs')
-rw-r--r-- | src/test/ui/traits/issue-84399-bad-fresh-caching.rs | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/src/test/ui/traits/issue-84399-bad-fresh-caching.rs b/src/test/ui/traits/issue-84399-bad-fresh-caching.rs new file mode 100644 index 000000000..149400156 --- /dev/null +++ b/src/test/ui/traits/issue-84399-bad-fresh-caching.rs @@ -0,0 +1,55 @@ +// compile-flags: --crate-type lib +// check-pass +// +// Regression test for issue #84399 +// Tests that we keep the full `ParamEnv` when +// caching predicates with freshened types in the global cache + +use std::marker::PhantomData; +pub trait Allocator<R> { + type Buffer; +} +pub struct DefaultAllocator; +impl <R> Allocator<R> for DefaultAllocator { + type Buffer = (); +} +pub type Owned<R> = <DefaultAllocator as Allocator<R>>::Buffer; +pub type MatrixMN<R> = Matrix<R, Owned<R>>; +pub type Matrix4<N> = Matrix<N, ()>; +pub struct Matrix<R, S> { + pub data: S, + _phantoms: PhantomData<R>, +} +pub fn set_object_transform(matrix: &Matrix4<()>) { + matrix.js_buffer_view(); +} +pub trait Storable { + type Cell; + fn slice_to_items(_buffer: &()) -> &[Self::Cell] { + unimplemented!() + } +} +pub type Cell<T> = <T as Storable>::Cell; +impl<R> Storable for MatrixMN<R> +where + DefaultAllocator: Allocator<R>, +{ + type Cell = (); +} +pub trait JsBufferView { + fn js_buffer_view(&self) -> usize { + unimplemented!() + } +} +impl<R> JsBufferView for [MatrixMN<R>] +where + DefaultAllocator: Allocator<R>, + MatrixMN<R>: Storable, + [Cell<MatrixMN<R>>]: JsBufferView, +{ + fn js_buffer_view(&self) -> usize { + <MatrixMN<R> as Storable>::slice_to_items(&()).js_buffer_view() + } +} +impl JsBufferView for [()] {} +impl<R> JsBufferView for MatrixMN<R> where DefaultAllocator: Allocator<R> {} |