pkg/vm/testcases/transformations/ffi/finalizable_extension_method.dart.aot.expect

library #lib /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;
import "dart:ffi" as ffi;
import "dart:_internal" as _in;

import "dart:ffi";

class Foo extends core::Object implements ffi::Finalizable {
  synthetic constructor •() → self::Foo
    : super core::Object::•()
    ;
}
extension _extension#0 on ffi::Finalizable {
  method bar = self::_extension#0|bar;
}
extension _extension#1 on core::Object {
  method baz = self::_extension#1|baz;
}
static method main() → void {
  final self::Foo foo = new self::Foo::•();
  self::_extension#0|bar(foo);
  let final core::Object #t1 = new core::Object::•() in self::_extension#1|baz(foo);
  _in::reachabilityFence(foo);
}
[@vm.unboxing-info.metadata=(b)->i]static method _extension#0|bar([@vm.inferred-type.metadata=#lib::Foo] lowered final ffi::Finalizable #this) → core::int {
  core::print("123");
  return block {
    final core::int :expressionValueWrappedFinalizable = 4;
    _in::reachabilityFence(#this);
  } =>:expressionValueWrappedFinalizable;
}
[@vm.unboxing-info.metadata=(b)->i]static method _extension#1|baz([@vm.inferred-type.metadata=#lib::Foo] self::Foo foo) → core::int {
  core::print("456");
  return block {
    final core::int :expressionValueWrappedFinalizable = 5;
    _in::reachabilityFence(foo);
  } =>:expressionValueWrappedFinalizable;
}