8000 Allow opaque types in trait impl headers and rely on coherence to reject unsound cases by oli-obk · Pull Request #103488 · rust-lang/rust · GitHub
[go: up one dir, main page]
Skip to content

Allow opaque types in trait impl headers and rely on coherence to reject unsound cases #103488

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.

Sign up for GitHub

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

Merged
merged 10 commits into from
Nov 23, 2022
Merged

Allow opaque types in trait impl headers and rely on coherence to reject unsound cases #103488

Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
2752e32
Allow opaque types in trait impl headers and rely on coherence to rej…
oli-obk Oct 24, 2022
94fe30f
Treat different opaque types of the same def id as equal during coher…
oli-obk Oct 27, 2022
ae80c76
Add an always-ambiguous predicate to make sure that we don't accident…
oli-obk Nov 2, 2022
9cd44f8
nit treat different opaque types
oli-obk Nov 14, 2022
9a8e1ee
Move a field around
oli-obk Nov 14, 2022
f42e490
Register obligations from type relation
oli-obk Nov 14, 2022
11ae334
Remove a function that doesn't actually do anything
oli-obk Nov 15, 2022
7301cd7
Type generalization should not look at opaque type in coherence
oli-obk Nov 17, 2022
11adf03
Add some more assertions for type relations not used during coherence
oli-obk Nov 17, 2022
c16a90f
Test generalization during coherence
oli-obk Nov 17, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
nit treat different opaque types
  • Loading branch information
@oli-obk
oli-obk committed Nov 21, 2022
commit 9cd44f81427a0536a9dceeb56e5801ad53d285b5
3 changes: 1 addition & 2 deletions src/test/ui/type-alias-impl-trait/impl_trait_for_same_tait.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,5 +30,4 @@ impl Bop for Barr {}
impl Bop for i32 {}
//~^ ERROR conflicting implementations

fn main() {
}
fn main() {}
0