Pretty printing loses associated type generics and where clauses #67509
Closed
Description
The following code:
#![feature(generic_associated_types)]
trait X {
type Y<T>: i32 where Self: Sized;
}
impl X for () {
type Y<T> where Self: Sized = u32;
}
is pretty printed as
#![feature(generic_associated_types)]
trait X {
type
Y: i32;
}
impl X for () {
type
Y
=
u32;
}
This presumably also affects procedural macros.
Metadata
Assignees
Labels
Area: Generic associated types (GATs)Area: Pretty printing (including `-Z unpretty`)Category: This is a bug.Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.`#![feature(generic_associated_types)]` a.k.a. GATsRelevant to the compiler team, which will review and decide on the PR/issue.