1
Fork 0

Don't immediately error for recursive projections

This commit is contained in:
Matthew Jasper 2020-07-25 21:27:34 +01:00
parent 6c4feb681f
commit e29765250b
7 changed files with 14 additions and 13 deletions

View file

@ -14,7 +14,7 @@ fn main() {
Here we have an addition of `d` and `n.into()`. Hence, `n.into()` can return
any type `T` where `u64: Add<T>`. On the other hand, the `into` method can
rteurn any type where `u32: Into<T>`.
return any type where `u32: Into<T>`.
The author of this code probably wants `into()` to return a `u64`, but the
compiler can't be sure that there isn't another type `T` where both