pkg/front_end/testcases/nnbd/strictly_non_nullable_warnings.dart.weak.transformed.expect

library;
import self as self;
import "dart:core" as core;
import "dart:_internal" as _in;

static method warning(core::String s, core::List<core::String> l) → dynamic {
  let final core::String #t1 = s in #t1.{core::String::==}(null) ?{core::int?} null : #t1.{core::String::length};
  let final core::String #t2 = s in #t2.{core::String::==}(null) ?{core::String} null : let final void #t3 = #t2.{core::String::length} in #t2;
  let final core::String #t4 = s in #t4.{core::String::==}(null) ?{core::String} "foo" : #t4;
  s.{core::String::==}(null) ?{core::String} s = "foo" : null;
  block {
    final core::List<core::String> #t5 = <core::String>[];
    final core::Iterable<core::String>? #t6 = l;
    if(!#t6.{core::Object::==}(null)) {
      core::Iterator<core::String>* :sync-for-iterator = _in::unsafeCast<core::Iterable<core::String>*>(#t6{core::Iterable<core::String>}).{core::Iterable::iterator};
      for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) {
        final core::String #t7 = :sync-for-iterator.{core::Iterator::current};
        #t5.{core::List::add}(#t7);
      }
    }
  } =>#t5;
  s!;
}
static method main() → dynamic {}