tests/ui/associated-types/issue-38821.stderr

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:35:1
   |
LL | pub enum ColumnInsertValue<Col, Expr> where
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider extending the `where` clause, but there might be an alternative better way to express this requirement
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull
   |                                                                         +++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:38:22
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider extending the `where` clause, but there might be an alternative better way to express this requirement
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull
   |                                                                         +++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:38:22
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:23:17
   |
LL | #[derive(Debug, Copy, Clone)]
   |                 ^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:38:22
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:38:22
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
help: consider further restricting the associated type
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>, <Col as Expression>::SqlType: NotNull,
   |                                                                       +++++++++++++++++++++++++++++++++++++++

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:38:22
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:38:22
   |
LL |     Expr: Expression<SqlType=<Col::SqlType as IntoNullable>::Nullable>,
   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:23:10
   |
LL | #[derive(Debug, Copy, Clone)]
   |          ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not satisfied
  --> $DIR/issue-38821.rs:23:23
   |
LL | #[derive(Debug, Copy, Clone)]
   |                       ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
   |
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
  --> $DIR/issue-38821.rs:9:18
   |
LL | impl<T: NotNull> IntoNullable for T {
   |         -------  ^^^^^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error: aborting due to 18 previous errors

For more information about this error, try `rustc --explain E0277`.