-
Notifications
You must be signed in to change notification settings - Fork 12.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Lazy type-alias-impl-trait #92007
Lazy type-alias-impl-trait #92007
Commits on Feb 2, 2022
-
Configuration menu - View commit details
-
Copy full SHA for d49b074 - Browse repository at this point
Copy the full SHA d49b074View commit details -
Configuration menu - View commit details
-
Copy full SHA for a4c1cec - Browse repository at this point
Copy the full SHA a4c1cecView commit details -
Configuration menu - View commit details
-
Copy full SHA for bbbdcb3 - Browse repository at this point
Copy the full SHA bbbdcb3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4e1a596 - Browse repository at this point
Copy the full SHA 4e1a596View commit details -
Add a convenient way to inject rustc flags somewhere late in the boot…
…strap pipeline without causing rebuilds Useful for -Ztreat-err-as-bug
Configuration menu - View commit details
-
Copy full SHA for 47a6a24 - Browse repository at this point
Copy the full SHA 47a6a24View commit details -
Configuration menu - View commit details
-
Copy full SHA for f7abc1b - Browse repository at this point
Copy the full SHA f7abc1bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8d2b598 - Browse repository at this point
Copy the full SHA 8d2b598View commit details -
Lazily resolve type-alias-impl-trait defining uses
by using an opaque type obligation to bubble up comparisons between opaque types and other types Also uses proper obligation causes so that the body id works, because out of some reason nll uses body ids for logic instead of just diagnostics.
Configuration menu - View commit details
-
Copy full SHA for 0f6e06b - Browse repository at this point
Copy the full SHA 0f6e06bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9110911 - Browse repository at this point
Copy the full SHA 9110911View commit details -
Register member constraints on the final merged hidden type
Previously we did this per hidden type candiate, which didn't always have all the information available.
Configuration menu - View commit details
-
Copy full SHA for 7bce50c - Browse repository at this point
Copy the full SHA 7bce50cView commit details -
Stop generating inference vars for nested impl trait and let type equ…
…ality handle it. This means we stop supporting the case where a locally defined trait has only a single impl so we can always use that impl (see nested-tait-inference.rs).
Configuration menu - View commit details
-
Copy full SHA for a745797 - Browse repository at this point
Copy the full SHA a745797View commit details -
Configuration menu - View commit details
-
Copy full SHA for 38f50d1 - Browse repository at this point
Copy the full SHA 38f50d1View commit details -
Configuration menu - View commit details
-
Copy full SHA for edaf962 - Browse repository at this point
Copy the full SHA edaf962View commit details -
Add backcompat hack to support
```rust fn foo() -> impl MyTrait { panic!(); MyStruct } struct MyStruct; trait MyTrait {} impl MyTrait for MyStruct {} ```
Configuration menu - View commit details
-
Copy full SHA for 64c5b9a - Browse repository at this point
Copy the full SHA 64c5b9aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7795f62 - Browse repository at this point
Copy the full SHA 7795f62View commit details -
Configuration menu - View commit details
-
Copy full SHA for 77aacc1 - Browse repository at this point
Copy the full SHA 77aacc1View commit details -
Configuration menu - View commit details
-
Copy full SHA for cbfd736 - Browse repository at this point
Copy the full SHA cbfd736View commit details -
Add some tests to show what happens when you compare two opaque types…
… that are both within the defining scope
Configuration menu - View commit details
-
Copy full SHA for 5a374dc - Browse repository at this point
Copy the full SHA 5a374dcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3146c96 - Browse repository at this point
Copy the full SHA 3146c96View commit details -
This can't happen anymore. An opaque type can't end up with itself as…
… its hidden type
Configuration menu - View commit details
-
Copy full SHA for 94d6a9a - Browse repository at this point
Copy the full SHA 94d6a9aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2247778 - Browse repository at this point
Copy the full SHA 2247778View commit details -
Configuration menu - View commit details
-
Copy full SHA for e03edd2 - Browse repository at this point
Copy the full SHA e03edd2View commit details -
Configuration menu - View commit details
-
Copy full SHA for fcba8d3 - Browse repository at this point
Copy the full SHA fcba8d3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5b49b8e - Browse repository at this point
Copy the full SHA 5b49b8eView commit details -
Configuration menu - View commit details
-
Copy full SHA for d35d1ef - Browse repository at this point
Copy the full SHA d35d1efView commit details -
Configuration menu - View commit details
-
Copy full SHA for b45fabd - Browse repository at this point
Copy the full SHA b45fabdView commit details -
Configuration menu - View commit details
-
Copy full SHA for dbda675 - Browse repository at this point
Copy the full SHA dbda675View commit details -
Configuration menu - View commit details
-
Copy full SHA for d8c29b3 - Browse repository at this point
Copy the full SHA d8c29b3View commit details -
Configuration menu - View commit details
-
Copy full SHA for d3b534b - Browse repository at this point
Copy the full SHA d3b534bView commit details -
Configuration menu - View commit details
-
Copy full SHA for dc36b38 - Browse repository at this point
Copy the full SHA dc36b38View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3d4b9b8 - Browse repository at this point
Copy the full SHA 3d4b9b8View commit details -
Configuration menu - View commit details
-
Copy full SHA for c564898 - Browse repository at this point
Copy the full SHA c564898View commit details -
Configuration menu - View commit details
-
Copy full SHA for e4794d9 - Browse repository at this point
Copy the full SHA e4794d9View commit details -
Hide further opaque type errors if items that could constrain the opa…
…que type have errors
Configuration menu - View commit details
-
Copy full SHA for b6d57ec - Browse repository at this point
Copy the full SHA b6d57ecView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7fd9c7e - Browse repository at this point
Copy the full SHA 7fd9c7eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5518d19 - Browse repository at this point
Copy the full SHA 5518d19View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4d2e965 - Browse repository at this point
Copy the full SHA 4d2e965View commit details -
Configuration menu - View commit details
-
Copy full SHA for 29c8732 - Browse repository at this point
Copy the full SHA 29c8732View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6560d77 - Browse repository at this point
Copy the full SHA 6560d77View commit details -
Configuration menu - View commit details
-
Copy full SHA for 59d0bff - Browse repository at this point
Copy the full SHA 59d0bffView commit details -
Configuration menu - View commit details
-
Copy full SHA for ee2158f - Browse repository at this point
Copy the full SHA ee2158fView commit details -
Configuration menu - View commit details
-
Copy full SHA for ebf2772 - Browse repository at this point
Copy the full SHA ebf2772View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7a1ccf9 - Browse repository at this point
Copy the full SHA 7a1ccf9View commit details -
Configuration menu - View commit details
-
Copy full SHA for bae04fb - Browse repository at this point
Copy the full SHA bae04fbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7f608eb - Browse repository at this point
Copy the full SHA 7f608ebView commit details -
Only prevent TAITs from defining each other, RPIT and async are fine,…
… they only ever have one defining site, and it is ordered correctly around expected and actual type in type comparisons
Configuration menu - View commit details
-
Copy full SHA for be153f0 - Browse repository at this point
Copy the full SHA be153f0View commit details -
Configuration menu - View commit details
-
Copy full SHA for d9bb93f - Browse repository at this point
Copy the full SHA d9bb93fView commit details
Commits on Feb 3, 2022
-
Configuration menu - View commit details
-
Copy full SHA for d526a8d - Browse repository at this point
Copy the full SHA d526a8dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 80c7b61 - Browse repository at this point
Copy the full SHA 80c7b61View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6807d37 - Browse repository at this point
Copy the full SHA 6807d37View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7546163 - Browse repository at this point
Copy the full SHA 7546163View commit details
Commits on Feb 7, 2022
-
Configuration menu - View commit details
-
Copy full SHA for c93f571 - Browse repository at this point
Copy the full SHA c93f571View commit details -
Add a test showing that we don't infer across multiple uses of the sa…
…me opaque type but with a different order of generic arguments
Configuration menu - View commit details
-
Copy full SHA for 9822fff - Browse repository at this point
Copy the full SHA 9822fffView commit details