summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/issue-68264-overflow.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/consts/issue-68264-overflow.rs')
-rw-r--r--src/test/ui/consts/issue-68264-overflow.rs43
1 files changed, 0 insertions, 43 deletions
diff --git a/src/test/ui/consts/issue-68264-overflow.rs b/src/test/ui/consts/issue-68264-overflow.rs
deleted file mode 100644
index 8f21e0648..000000000
--- a/src/test/ui/consts/issue-68264-overflow.rs
+++ /dev/null
@@ -1,43 +0,0 @@
-// check-pass
-// compile-flags: --emit=mir,link
-// Regression test for issue #68264
-// Checks that we don't encounter overflow
-// when running const-prop on functions with
-// complicated bounds
-pub trait Query {}
-
-pub trait AsQuery {
- type Query: Query;
-}
-pub trait Table: AsQuery + Sized {}
-
-pub trait LimitDsl {
- type Output;
-}
-
-pub(crate) trait LoadQuery<Conn, U>: RunQueryDsl<Conn> {}
-
-impl<T: Query> AsQuery for T {
- type Query = Self;
-}
-
-impl<T> LimitDsl for T
-where
- T: Table,
- T::Query: LimitDsl,
-{
- type Output = <T::Query as LimitDsl>::Output;
-}
-
-pub(crate) trait RunQueryDsl<Conn>: Sized {
- fn first<U>(self, _conn: &Conn) -> U
- where
- Self: LimitDsl,
- Self::Output: LoadQuery<Conn, U>,
- {
- // Overflow is caused by this function body
- unimplemented!()
- }
-}
-
-fn main() {}