---

yaml
---
r: 3314
b: refs/heads/master
c: 54566e9
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: d9f452a2a80d02c73087346872f3967f3f2a1847
+refs/heads/master: 54566e903781740cd1aa9f775a86db76a0fa5de7

trunk/src/comp/middle/typeck.rs

@@ -1994,11 +1994,10 @@ fn check_expr(&@fn_ctxt fcx, &@ast::expr expr) {
                     write::ty_only_fixup(fcx, id, t);
                 }
                 case (_) {
-                    fcx.ccx.tcx.sess.span_unimpl(expr.span,
-                                                 "base type for expr_field \
-                                                  in typeck::check_expr: "
-                                                 + ty_to_str(fcx.ccx.tcx,
-                                                             base_t));
+                    auto t_err = resolve_type_vars_if_possible(fcx, base_t);
+                    auto msg = #fmt("attempted field access on type %s",
+                                    ty_to_str(fcx.ccx.tcx, t_err));
+                    fcx.ccx.tcx.sess.span_fatal(expr.span, msg);
                 }
             }
         }

trunk/src/test/compile-fail/direct-obj-fn-call.rs

@@ -1,4 +1,4 @@
-// error-pattern: base type for expr_field
+// error-pattern: attempted field access
 
 obj x() {
   fn hello() {

trunk/src/test/compile-fail/vec-field.rs

@@ -0,0 +1,10 @@
+// xfail-stage0
+// error-pattern:attempted field access on type vec\[int\]
+// issue #367
+
+fn f() {
+  auto v = [1];
+  log v.some_field_name; //type error
+}
+
+fn main() {}