// Copyright (c) 2018, 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. | |
class Class { | |
Class next; | |
} | |
main() { | |
assert1(null); | |
} | |
assert1(Class c) { | |
bool b; | |
assert(/*Class*/ c /*invoke: bool*/ != null); | |
if (/*bool*/ b) return; | |
/*Class*/ c.next; | |
} |