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

import "org-dartlang-testcase:///value_class_support_lib.dart";

class Animal extends core::Object {
  field core::int numberOfLegs;
  synthetic constructor •() → self::Animal
    ;
}
@val::valueClass
class Cat extends self::Animal {
  synthetic constructor •() → self::Cat
    ;
}
class Animal2 extends core::Object {
  final field core::int numberOfLegs;
  synthetic constructor •() → self::Animal2
    ;
}
@val::valueClass
class Cat2 extends self::Animal2 {
  synthetic constructor •() → self::Cat2
    ;
}
static method main() → dynamic
  ;

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

class JenkinsSmiHash extends core::Object {
  synthetic constructor •() → val::JenkinsSmiHash
    ;
  static method combine(core::int hash, core::int value) → core::int
    ;
  static method finish(core::int hash) → core::int
    ;
}
static const field core::String valueClass = "valueClass";


Extra constant evaluation status:
Evaluated: StaticGet @ org-dartlang-testcase:///value_extends_non_value_error.dart:11:2 -> StringConstant("valueClass")
Evaluated: StaticGet @ org-dartlang-testcase:///value_extends_non_value_error.dart:18:2 -> StringConstant("valueClass")
Extra constant evaluation: evaluated: 2, effectively constant: 2