# 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.md file.

# Reproduce a crash.

type: newworld
worlds:
  - entry: main.dart
    useExperimentalInvalidation: true
    sources:
      main.dart: |
        import 'lib.dart';
        class X {}
        int foo(X x) {
          return x is Y ? x.foo : null;
        }
      lib.dart: |
        import 'main.dart';
        class Y implements X {
          int get foo => 42;
        }
    expectedLibraryCount: 2

  - entry: main.dart
    useExperimentalInvalidation: true
    worldType: updated
    expectInitializeFromDill: false
    invalidate:
      - main.dart
    expectedLibraryCount: 2
    expectsRebuildBodiesOnly: true

  - entry: main.dart
    useExperimentalInvalidation: true
    worldType: updated
    expectInitializeFromDill: false
    invalidate:
      - lib.dart
    expectedLibraryCount: 2
    expectsRebuildBodiesOnly: true