Summary: Unattributed type variable should not be accessed by the rich formatter when emitting where clauses
Reviewed-by: jjg