Added this to the 1.1 milestone.
Removed Priority-Unassigned label.
Added Priority-Medium, Area-Analyzer, Triaged labels.

The specification (section 12.11 on This expressions) is unclear about whether this example is allowed or not, so I'm passing this issue on to the language committee.

Removed this from the 1.1 milestone.
Removed Priority-Medium, Area-Analyzer labels.
Added Priority-Unassigned, Area-Language labels.

The example shown has many errors. I assume the intent was:

class Foo {
  String bar = "hello world";
  Map foo = {
    'bar': () {
        var _bar = bar;
        return _bar;
    },
    'bop': _foo
  };

  _foo() {
    var _bar = bar;
    return _bar;
  }

  Foo() {
    foo['baz'] = () {
      var _bar = bar;
      return _bar;
    };
  }
}

The issue is that the initializer for the field foo contains a reference to the field bar. The specification says that it is a compile time error if 'this' appears in the initializer of an instance variable. The intent is to cover both explicit and implicit uses of 'this'. The use of _bar is defined to mean this._bar (see the section on identifier reference), which is getter invocation of the implicitly generated getter for the field _bar. I'll clarify that point in the next draft.

I'm sending this back to the analyzer; I think the only concern is that only _bar gets flagged but _foo does not (at least in the editor). Note that _foo is a closurization of the _foo method, and again involves this implicitly and is an error. The case of 'baz" is totally different since it occurs in a constructor body, where 'this' is allowed.

Removed Area-Language label.
Added Area-Analyzer label.

Removed Priority-Unassigned label.
Added Priority-Medium label.

Set owner to @stereotype441.
Added Started label.

Fix submitted for review: https://codereview.chromium.org/702623002/

Fixed in revision 41478.

Added Fixed label.

Added this to the 1.8 milestone.