summaryrefslogtreecommitdiffstats
path: root/tests/ui/issues/issue-38821.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/issues/issue-38821.rs')
-rw-r--r--tests/ui/issues/issue-38821.rs33
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() {}