diff options
Diffstat (limited to 'tests/ui/issues/issue-38821.rs')
-rw-r--r-- | tests/ui/issues/issue-38821.rs | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/tests/ui/issues/issue-38821.rs b/tests/ui/issues/issue-38821.rs deleted file mode 100644 index 6753860e9..000000000 --- a/tests/ui/issues/issue-38821.rs +++ /dev/null @@ -1,33 +0,0 @@ -pub struct Nullable<T: NotNull>(T); - -pub trait NotNull {} - -pub trait IntoNullable { - type Nullable; -} - -impl<T: NotNull> IntoNullable for T { - type Nullable = Nullable<T>; -} - -impl<T: NotNull> IntoNullable for Nullable<T> { - type Nullable = Nullable<T>; -} - -pub trait Expression { - type SqlType; -} - -pub trait Column: Expression {} - -#[derive(Debug, Copy, Clone)] -//~^ ERROR the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied -pub enum ColumnInsertValue<Col, Expr> where - Col: Column, - Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, -{ - Expression(Col, Expr), - Default(Col), -} - -fn main() {} |