Skip to content

Create different inference variables for different defining uses of TAITs #86118

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 18 commits into from
Jun 9, 2021
Merged

Create different inference variables for different defining uses of TAITs #86118

Changes from 1 commit
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
aa7024b
Add VecMap to rustc_data_structures
spastorino Jun 4, 2021
2bc723f
Change opaque type map to be a `VecMap`
spastorino Jun 4, 2021
3405725
Change concrete opaque type to be a `VecMap`
spastorino Jun 4, 2021
7f8cad2
Make OpaqueTypeKey the key of opaque types map
spastorino Jun 5, 2021
7294f49
Remove ResolvedOpaqueTy and just use Ty, SubstsRef is already there
spastorino Jun 7, 2021
37ab718
Make opaque type map key be of type OpaqueTypeKey
spastorino Jun 7, 2021
5dabd55
Use substs from opaque type key instead of using it from opaque_decl
spastorino Jun 7, 2021
e386373
Remove substs from OpaqueTypeDecl, use the one in OpaqueTypeKey
spastorino Jun 7, 2021
9e547b4
Differentiate different defining uses of taits when they reference di…
spastorino Jun 7, 2021
c80d062
Add more TAIT multiple defining uses test cases
spastorino Jun 7, 2021
dd56ec6
Add VecMap::get_by(FnMut -> bool)
spastorino Jun 8, 2021
1278f3f
Simplify code by using VecMap::get_by
spastorino Jun 8, 2021
f07412d
Destructure OpaqueTypeKey in certain cases to simplify code
spastorino Jun 8, 2021
ecd78e9
defin_ty_def_id -> definition_ty_def_id
spastorino Jun 8, 2021
0ad09f9
Do not deconstruct OpaqueTypeKey to make the code more clear
spastorino Jun 8, 2021
ed94da1
Explicitly pass find arguments down the predicate so coercions can apply
spastorino Jun 8, 2021
cad762b
Use impl FnMut directly as predicate type
spastorino Jun 8, 2021
7b1e1c7
add VecMap docs
spastorino Jun 8, 2021
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
7 changes: 7 additions & 0 deletions compiler/rustc_data_structures/src/vec_map.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -33,6 +33,13 @@ where
self.0.iter().find(|(key, _)| k == key.borrow()).map(|elem| &elem.1)
}

pub fn get_by<P>(&self, predicate: P) -> Option<&V>
where
for<'b> P: FnMut(&'b &(K, V)) -> bool,
{
self.0.iter().find(predicate).map(|elem| &elem.1)
}

pub fn contains_key<Q: ?Sized>(&self, k: &Q) -> bool
where
K: Borrow<Q>,
Expand Down