Open
Description
To make the question more precise, consider this code:
trait A {
fn foo(&self, u32) -> i32;
}
fn nameless(r: &dyn A, x: u32) -> i32 {
(&dyn A)::foo(r, x)
}
What does the spec say happens at the (&dyn A)::foo(r, x)
call?
Whatever we choose must be strict enough to disallow inserting an extra println!("AAAAA");
that the user did not write, but also permissive enough to not stabilize the layout of vtables.
This is forked off from #328 .
Metadata
Metadata
Assignees
Labels
No labels