After an entire day of fiddling, I added the concept of a type alias to the type system as a thing with a name in `rustc`, as opposed to something that gets immediately discarded, which will let it refer to type alias in type errors. Right now at 9197 passing, 44 failing tests.
-
Show this thread
-
I'm really excited about this, but it might prove to introduce slowness, which would preclude it from landing. I'll know more soon once I have cleaned this up enough for a PR.
1 reply 0 retweets 11 likesShow this thread -
The end goal is to also leverage this for imports, which would let the errors talk about `Result`, instead of `std::result::Result` in type errors.
2 replies 1 retweet 21 likesShow this thread -
But again, this might prove to be a bad fit in the end. I just had to try it out.
1 reply 0 retweets 7 likesShow this thread -
But if it works well enough, then we will finally be able to closehttps://github.com/rust-lang/rust/issues/21934 …
1 reply 0 retweets 5 likesShow this thread -
Have to clean up some parts of the logic to do the right thing, and change the errors to take this into account, but the WIP output is already kind of nice.pic.twitter.com/XUKtGXayo4
2 replies 0 retweets 20 likesShow this thread -
In the meantime, going to bed.
1 reply 0 retweets 11 likesShow this thread
Hmm, interesting! We should chat. I had planned to do this as part of how we handle associated types -- but it might be the sort of thing we can do earlier indeed.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.