;;; Code for jstypewithdefault.Interface [type definition]
(type $jstypewithdefault.Interface.vtable (sub (struct
 (field $m_defaultMethod__void (ref $function.m_defaultMethod__void))
 ))
)

;;; Code for jstypewithdefault.SomeJsType [type definition]
(type $jstypewithdefault.SomeJsType.vtable (sub $java.lang.Object.vtable (struct
 (field $$getClassImpl__java_lang_Class (ref $function.$getClassImpl__java_lang_Class))
 (field $m_equals__java_lang_Object__boolean (ref $function.m_equals__java_lang_Object__boolean))
 (field $m_hashCode__int (ref $function.m_hashCode__int))
 (field $m_toString__java_lang_String (ref $function.m_toString__java_lang_String))
 (field $m_defaultMethod__void (ref $function.m_defaultMethod__void))
 ))
)
(type $jstypewithdefault.SomeJsType (sub $java.lang.Object (struct
 (field $vtable (ref $jstypewithdefault.SomeJsType.vtable))
 (field $itable (ref $jstypewithdefault.SomeJsType.itable))
 (field $$systemIdentityHashCode@java.lang.Object (mut i32))
 ))
)

;;; Code for jstypewithdefault.Interface [imports]

;;; Code for jstypewithdefault.SomeJsType [imports]

;;; Code for jstypewithdefault.SomeJsType [static fields]
(global $$class-initialized@jstypewithdefault.SomeJsType (mut i32)
 (i32.const 0)
)
(global $$class@jstypewithdefault.SomeJsType (mut (ref null $java.lang.Class))
 (ref.null $java.lang.Class)
)

;;; Code for jstypewithdefault.Interface [static fields]
(global $$class-initialized@jstypewithdefault.Interface (mut i32)
 (i32.const 0)
)
(global $$class@jstypewithdefault.Interface (mut (ref null $java.lang.Class))
 (ref.null $java.lang.Class)
)

;;; Code for jstypewithdefault.SomeJsType [vtable.init]
(global $jstypewithdefault.SomeJsType.vtable (ref $jstypewithdefault.SomeJsType.vtable)
 (struct.new $jstypewithdefault.SomeJsType.vtable
  (ref.func $$getClassImpl__java_lang_Class@jstypewithdefault.SomeJsType)
  (ref.func $m_equals__java_lang_Object__boolean@java.lang.Object)
  (ref.func $m_hashCode__int@java.lang.Object)
  (ref.func $m_toString__java_lang_String@java.lang.Object)
  (ref.func $m_defaultMethod__void@jstypewithdefault.SomeJsType)
 )
)
(global $jstypewithdefault.Interface.vtable@$jstypewithdefault.SomeJsType (ref $jstypewithdefault.Interface.vtable)
 (struct.new $jstypewithdefault.Interface.vtable
  (ref.func $m_defaultMethod__void@jstypewithdefault.SomeJsType)
 )
)

;;; Code for jstypewithdefault.Interface [methods]

;;; void Interface.defaultMethod()
(func $m_defaultMethod__void@jstypewithdefault.Interface
 (param $this (ref null $java.lang.Object))
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:24:15
 (block
 )
)
(elem declare func $m_defaultMethod__void@jstypewithdefault.Interface)

;;; void Interface.$clinit()
(func $$clinit__void_<once>_@jstypewithdefault.Interface
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:23:10
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:23:10
  (if (global.get $$class-initialized@jstypewithdefault.Interface)
   (then
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:23:10
    (return )
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:23:10
  (global.set $$class-initialized@jstypewithdefault.Interface (i32.const 1))
 )
)

;;; Class<T> Interface.$getClassMetadata()
(func $$getClassMetadata__java_lang_Class_<once>_@jstypewithdefault.Interface
 (result (ref null $java.lang.Class))
 (block
  (if (i32.eqz (ref.is_null (global.get $$class@jstypewithdefault.Interface)))
   (then
    (return (global.get $$class@jstypewithdefault.Interface))
   )
  )
  (global.set $$class@jstypewithdefault.Interface (call $m_createForInterface__java_lang_String__java_lang_Class@java.lang.Class (call $$getString_|jstypewithde...|__java_lang_String_<once>_@jstypewithdefault.Interface )))
  (return (global.get $$class@jstypewithdefault.Interface))
 )
)

;;; Code for jstypewithdefault.SomeJsType [methods]

;;; SomeJsType SomeJsType.$create()
(func $$create__@jstypewithdefault.SomeJsType
 (result (ref null $jstypewithdefault.SomeJsType))
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:20:13
 (local $$instance (ref null $jstypewithdefault.SomeJsType))
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:20:13
  (call $$clinit__void_<once>_@jstypewithdefault.SomeJsType )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:20:13
  (local.set $$instance (struct.new $jstypewithdefault.SomeJsType (global.get $jstypewithdefault.SomeJsType.vtable) (global.get $jstypewithdefault.SomeJsType.itable) (i32.const 0)))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:20:13
  (call $$ctor__void_$p_jstypewithdefault_SomeJsType@jstypewithdefault.SomeJsType (ref.as_non_null (local.get $$instance)))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:20:13
  (return (local.get $$instance))
 )
)

;;; void SomeJsType.$ctor()
(func $$ctor__void_$p_jstypewithdefault_SomeJsType@jstypewithdefault.SomeJsType
 (param $this (ref null $jstypewithdefault.SomeJsType))
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:20:13
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:20:13
  (call $$ctor__void_$p_java_lang_Object@java.lang.Object (ref.as_non_null (local.get $this)))
 )
)

;;; void SomeJsType.defaultMethod()
(func $m_defaultMethod__void@jstypewithdefault.SomeJsType
 (type $function.m_defaultMethod__void)
 (param $this.untyped (ref $java.lang.Object))
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:20:13
 (local $this (ref null $jstypewithdefault.SomeJsType))
 (local.set $this (ref.cast (ref $jstypewithdefault.SomeJsType) (local.get $this.untyped)))
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:20:13
  (call $m_defaultMethod__void@jstypewithdefault.Interface (ref.as_non_null (local.get $this)))
 )
)
(elem declare func $m_defaultMethod__void@jstypewithdefault.SomeJsType)

;;; void SomeJsType.$clinit()
(func $$clinit__void_<once>_@jstypewithdefault.SomeJsType
 ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:20:13
 (block
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:20:13
  (if (global.get $$class-initialized@jstypewithdefault.SomeJsType)
   (then
    ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:20:13
    (return )
   )
  )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:20:13
  (global.set $$class-initialized@jstypewithdefault.SomeJsType (i32.const 1))
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:20:13
  (call $$clinit__void_<once>_@java.lang.Object )
  ;;@ transpiler/javatests/com/google/j2cl/readable/java/jstypewithdefault/readable-j2wasm.js/jstypewithdefault/SomeJsType.java:20:13
  (call $$clinit__void_<once>_@jstypewithdefault.Interface )
 )
)

;;; Class<T> SomeJsType.$getClassMetadata()
(func $$getClassMetadata__java_lang_Class_<once>_@jstypewithdefault.SomeJsType
 (result (ref null $java.lang.Class))
 (block
  (if (i32.eqz (ref.is_null (global.get $$class@jstypewithdefault.SomeJsType)))
   (then
    (return (global.get $$class@jstypewithdefault.SomeJsType))
   )
  )
  (global.set $$class@jstypewithdefault.SomeJsType (call $m_createForClass__java_lang_String__java_lang_Class__java_lang_Class@java.lang.Class (call $$getString_|jstypewithde...|__java_lang_String_<once>_@jstypewithdefault.SomeJsType )(call $$getClassMetadata__java_lang_Class_<once>_@java.lang.Object )))
  (return (global.get $$class@jstypewithdefault.SomeJsType))
 )
)

;;; Class<?> SomeJsType.$getClassImpl()
(func $$getClassImpl__java_lang_Class@jstypewithdefault.SomeJsType
 (type $function.$getClassImpl__java_lang_Class)
 (param $this.untyped (ref $java.lang.Object))
 (result (ref null $java.lang.Class))
 (local $this (ref null $jstypewithdefault.SomeJsType))
 (local.set $this (ref.cast (ref $jstypewithdefault.SomeJsType) (local.get $this.untyped)))
 (block
  (return (call $$getClassMetadata__java_lang_Class_<once>_@jstypewithdefault.SomeJsType ))
 )
)
(elem declare func $$getClassImpl__java_lang_Class@jstypewithdefault.SomeJsType)
