Repository navigation
Autoderef on trait methods in a monomorphized caller doesn't work #3305
Description
The following crashes:
trait double {
fn double() -> uint;
}
impl uint: double {
fn double() -> uint { self * 2u }
}
fn is_equal<D: double>(x: @D, exp: uint) {
assert x.double() == exp;
}
fn main() {
let x = @(3u as double);
is_equal(x, 6);
}
This is because the autoderef code is not being used if the call occurs in a monomorphized context. My trans refactoring should fix this.
Activity
catamorphism commentedon Sep 6, 2012
This works now; I pushed the test case.
Auto merge of rust-lang#3305 - rust-lang:rustup-2024-02-18, r=saethlin
Fix contract handling of promoted constants and constant static (rust…
Merge rust-lang#3305