2 // compile-flags: --emit=mir,link
3 // Regression test for issue #68264
4 // Checks that we don't encounter overflow
5 // when running const-prop on functions with
12 pub trait Table: AsQuery + Sized {}
18 pub(crate) trait LoadQuery<Conn, U>: RunQueryDsl<Conn> {}
20 impl<T: Query> AsQuery for T {
24 impl<T> LimitDsl for T
29 type Output = <T::Query as LimitDsl>::Output;
32 pub(crate) trait RunQueryDsl<Conn>: Sized {
33 fn first<U>(self, _conn: &Conn) -> U
36 Self::Output: LoadQuery<Conn, U>,
38 // Overflow is caused by this function body