graydon/rust — Issue #1462: non-exhaustive match failure in typeck::lookup_method
Author: jruderman
Created: 2012-01-08 07:53:55+00:00
State: open
Labels: typeck

fn f(t: T) { t.x; }

Result:

upcall fail 'non-exhaustive match failure', ../src/comp/middle/typeck.rs:1554

Expected:

error: attempted access of field x on type 'a, but no method implementation was found

I guess the loop in lookup_method needs to skip bounds other than interfaces.