Open
Description
This is blocked by T-lang's decision on the final syntax of RTN! Unblocked (IINM)
Source:
#![feature(return_type_notation)]
pub fn f<T: Trait<f(): Copy>>() {}
pub trait Trait { fn f() -> impl Clone; }
Current rendered output of f
(local scenario, HIR-based cleaning):
pub fn f<T: Trait<f: Copy>>()
Current rendered output of f
(inlined cross-crate re-export scenario, rustc_middle::ty-based cleaning):
pub fn f<T>()
where
T: Trait,
impl Clone: Copy,