Constraints on associated types declared in subtraits do not propagate.

[brendanzab]

Pretty bad title - sorry. Somebody who knows the type checker might be able to do better.

Here is a minimal example:

pub trait Real {}

pub trait VectorSpace {
    type Scalar;
}

pub trait InnerSpace: VectorSpace where
    <Self as VectorSpace>::Scalar: Real,
{
    fn dot(self, other: Self) -> Self::Scalar;
}

pub fn dot<V: InnerSpace>(a: V, b: V) -> V::Scalar {
    V::dot(a, b)
}

<anon>:13:1: 15:2 error: the trait `Real` is not implemented for the type `<V as VectorSpace>::Scalar` [E0277]
<anon>:13 pub fn dot<V: InnerSpace>(a: V, b: V) -> V::Scalar {
<anon>:14     V::dot(a, b)
<anon>:15 }
<anon>:13:1: 15:2 help: see the detailed explanation for E0277
<anon>:13:1: 15:2 note: required by `InnerSpace`

http://is.gd/vjIVwO

[apoelstra]

Another example:

trait SomeBound {}

trait A {
    type Type;
}

trait B: A where Self::Type: SomeBound {
}

trait C: B {}

fn main() {}

I don't think the problem is that the bounds "don't propagate". It simply should not matter to trait C: B what conditions B would like to have; if I've got a type that implements B then obviously those are satisfied, whatever they are.

Edit: Here is my actual usecase. I think something like this is required to get ergonomic session types in Rust:

trait SessionType {
    type Dual;
}

trait Recv: SessionType
    where Self::Dual: Send {
}

trait Send: SessionType
    where Self::Dual: Recv {
}

fn main() {}

test.rs:6:1: 8:2 error: the trait bound `<<Self as SessionType>::Dual as SessionType>::Dual: Recv` is not satisfied [E0277]
test.rs:6 trait Recv: SessionType
test.rs:7     where Self::Dual: Send {
test.rs:8 }
test.rs:6:1: 8:2 help: run `rustc --explain E0277` to see a detailed explanation
test.rs:6:1: 8:2 help: consider adding a `where <<Self as SessionType>::Dual as SessionType>::Dual: Recv` bound
test.rs:6:1: 8:2 note: required by `Send`
test.rs:10:1: 12:2 error: the trait bound `<<Self as SessionType>::Dual as SessionType>::Dual: Send` is not satisfied [E0277]
test.rs:10 trait Send: SessionType
test.rs:11     where Self::Dual: Recv {
test.rs:12 }
test.rs:10:1: 12:2 help: run `rustc --explain E0277` to see a detailed explanation
test.rs:10:1: 12:2 help: consider adding a `where <<Self as SessionType>::Dual as SessionType>::Dual: Send` bound
test.rs:10:1: 12:2 note: required by `Recv`

[CasualX]

I ran into this when creating a trait that requires FromStr and constrains FromStr::Err: 'static + Error. Anything that uses this trait must repeat the associated type constraint or I get this error.

[brendanzab]

cc. @sebcrozet

[Popog]

Is this the same issue as #20671?

[estebank]

Current output suggests code that would be accepted today:

error[E0277]: the trait bound `<V as VectorSpace>::Scalar: Real` is not satisfied
  --> src/lib.rs:13:1
   |
7  | / pub trait InnerSpace: VectorSpace where
8  | |     <Self as VectorSpace>::Scalar: Real,
9  | | {
10 | |     fn dot(self, other: Self) -> Self::Scalar;
11 | | }
   | |_- required by `InnerSpace`
12 | 
13 |   pub fn dot<V: InnerSpace>(a: V, b: V) -> V::Scalar {
   |   ^                                                 - help: consider further restricting the associated type: `where <V as VectorSpace>::Scalar: Real`
   |  _|
   | |
14 | |     V::dot(a, b)
15 | | }
   | |_^ the trait `Real` is not implemented for `<V as VectorSpace>::Scalar`

error[E0277]: the trait bound `<Self as A>::Type: SomeBound` is not satisfied
  --> src/main.rs:10:1
   |
7  | trait B: A where Self::Type: SomeBound {
   | -------------------------------------- required by `B`
...
10 | trait C: B {}
   | ^^^^^^^^^^-^^
   | |         |
   | |         help: consider further restricting the associated type: `where <Self as A>::Type: SomeBound`
   | the trait `SomeBound` is not implemented for `<Self as A>::Type`

error[E0277]: the trait bound `<<Self as SessionType>::Dual as SessionType>::Dual: Recv` is not satisfied
  --> src/main.rs:5:1
   |
5  | / trait Recv: SessionType
6  | |     where Self::Dual: Send {
   | |                           - help: consider further restricting the associated type: `, <<Self as SessionType>::Dual as SessionType>::Dual: Recv`
7  | | }
   | |_^ the trait `Recv` is not implemented for `<<Self as SessionType>::Dual as SessionType>::Dual`
8  | 
9  | / trait Send: SessionType
10 | |     where Self::Dual: Recv {
11 | | }
   | |_- required by `Send`

error[E0277]: the trait bound `<<Self as SessionType>::Dual as SessionType>::Dual: Send` is not satisfied
  --> src/main.rs:9:1
   |
5  | / trait Recv: SessionType
6  | |     where Self::Dual: Send {
7  | | }
   | |_- required by `Recv`
8  | 
9  | / trait Send: SessionType
10 | |     where Self::Dual: Recv {
   | |                           - help: consider further restricting the associated type: `, <<Self as SessionType>::Dual as SessionType>::Dual: Send`
11 | | }
   | |_^ the trait `Send` is not implemented for `<<Self as SessionType>::Dual as SessionType>::Dual`