pkg/front_end/testcases/records/issue51940.dart.strong.expect

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

typedef Parser<T extends core::Object? = dynamic> = (core::String) → (self::Result<T%>, core::String);
abstract sealed class Result<T extends core::Object? = dynamic> extends core::Object /*hasConstConstructor*/  {
  const constructor •() → self::Result<self::Result::T%>
    : super core::Object::•()
    ;
}
final class Ok<T extends core::Object? = dynamic> extends self::Result<self::Ok::T%> /*hasConstConstructor*/  {
  final field self::Ok::T% value;
  const constructor •(self::Ok::T% value) → self::Ok<self::Ok::T%>
    : self::Ok::value = value, super self::Result::•()
    ;
}
final class Error<T extends core::Object? = dynamic> extends self::Result<self::Error::T%> /*hasConstConstructor*/  {
  final field core::String error;
  const constructor •(core::String error) → self::Error<self::Error::T%>
    : self::Error::error = error, super self::Result::•()
    ;
}
static method not((core::String) → (self::Result<dynamic>, core::String) parser) → (core::String) → (self::Result<void>, core::String) {
  return (core::String input) → (self::Result<void>, core::String) => block {
    (self::Result<void>, core::String) #t1;
    final synthesized(self::Result<dynamic>, core::String) #0#0 = parser(input){(core::String) → (self::Result<dynamic>, core::String)};
    #L1:
    {
      {
        if(#0#0.$1{self::Result<dynamic>} is self::Ok<dynamic>) {
          #t1 = (#C2, input);
          break #L1;
        }
      }
      {
        if(true) {
          #t1 = (#C4, input);
          break #L1;
        }
      }
    }
  } =>#t1;
}

constants  {
  #C1 = "unexpected input"
  #C2 = self::Error<void> {error:#C1}
  #C3 = null
  #C4 = self::Ok<void> {value:#C3}
}


Constructor coverage from constants:
org-dartlang-testcase:///issue51940.dart:
- Error. (from org-dartlang-testcase:///issue51940.dart:17:9)
- Result. (from org-dartlang-testcase:///issue51940.dart:8:9)
- Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart)
- Ok. (from org-dartlang-testcase:///issue51940.dart:12:9)