mirror of
https://github.com/rust-lang/rust.git
synced 2025-09-27 04:31:18 +00:00
17 lines
260 B
Rust
17 lines
260 B
Rust
//@ known-bug: #141124
|
|
struct S;
|
|
trait SimpleTrait {}
|
|
trait TraitAssoc {
|
|
type Assoc;
|
|
}
|
|
|
|
impl<T> TraitAssoc for T
|
|
where
|
|
T: SimpleTrait,
|
|
{
|
|
type Assoc = <(T,) as TraitAssoc>::Assoc;
|
|
}
|
|
impl SimpleTrait for <S as TraitAssoc>::Assoc {}
|
|
|
|
pub fn main() {}
|