pkg/front_end/testcases/patterns/logical_and_inside_if_case.dart.weak.expect

library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

static method test(dynamic x) → dynamic {
  final dynamic #t1 = x;
  final dynamic #t2 = #t1;
  if(#t2 is core::int? && #t2 is core::double?) {
  }
}