Skip to content
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

Jump to bottom

Generic associated types in trait paths #79554

Merged
merged 7 commits into from
Feb 5, 2021
Merged

Generic associated types in trait paths #79554

Changes from 1 commit
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
fdaf603
add generic args to hir::TypeBinding
b-naber Nov 30, 2020
16af7bf
hir pretty printing
b-naber Nov 30, 2020
760a665
lowering of generic args in AssocTyConstraint
b-naber Nov 30, 2020
da2cf9b
substitutions in trait predicates
b-naber Nov 30, 2020
6a68966
use generic arguments of associated item in trait_ref method
b-naber Nov 30, 2020
9e92015
remove subst_supertrait call
b-naber Nov 30, 2020
12d411f
add tests
b-naber Nov 30, 2020
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
hir pretty printing
  • Loading branch information
@b-naber
b-naber committed Feb 4, 2021
commit 16af7bf3d9a3d86f6315bd86200d71de85e18a2d
1 change: 1 addition & 0 deletions compiler/rustc_hir_pretty/src/lib.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1840,6 +1840,7 @@ impl<'a> State<'a> {
for binding in generic_args.bindings.iter() {
start_or_comma(self);
self.print_ident(binding.ident);
self.print_generic_args(binding.gen_args, false, false);
self.s.space();
match generic_args.bindings[0].kind {
hir::TypeBindingKind::Equality { ref ty } => {
Expand Down