// Copyright (c) 2020, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// This test verifies that `this` cannot be promoted, even if it appears in an
// extension method.

class C {
  void insideClass() {
    if (this is D) {
      this;
    }
  }
}

class D extends C {}

extension on C {
  void insideExtension() {
    if (this is D) {
      this;
    }
  }
}