about summary refs log tree commit diff
path: root/src/test/ui/issues/issue-38821.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/issues/issue-38821.rs')
-rw-r--r--src/test/ui/issues/issue-38821.rs33
1 files changed, 0 insertions, 33 deletions
diff --git a/src/test/ui/issues/issue-38821.rs b/src/test/ui/issues/issue-38821.rs
deleted file mode 100644
index 6753860e9ff..00000000000
--- a/src/test/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() {}