1
Fork 0

Account for identity substituted items in symbol mangling

This commit is contained in:
Michael Goulet 2025-01-08 17:31:40 +00:00 committed by lcnr
parent b6b8361bce
commit 39daadc76e
6 changed files with 135 additions and 39 deletions

View file

@ -0,0 +1,17 @@
LL| |trait Foo {
LL| | type Assoc;
LL| |
LL| | fn from(s: Self::Assoc) -> Self;
LL| |}
LL| |
LL| |struct W<T>(T);
LL| |
LL| |impl<T: Foo> From<[T::Assoc; 1]> for W<T> {
LL| 0| fn from(from: [T::Assoc; 1]) -> Self {
LL| 0| let [item] = from;
LL| 0| W(Foo::from(item))
LL| 0| }
LL| |}
LL| |
LL| 1|fn main() {}