pkg/compiler/test/inference/data/record_2.dart

// Copyright (c) 2023, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

/*member: main:[null|powerset={null}]*/
main() {
  useRecord1(true);
  useRecord1(false);
  useRecord2(true);
  useRecord2(false);
  useRecord3(true);
  useRecord3(false);
  useRecord4(true);
  useRecord4(false);
  useRecord5(true);
  useRecord5(false);
}

/*member: getRecord1:[Record(RecordShape(2), [[exact=JSUInt31|powerset={I}], [exact=JSUInt31|powerset={I}]], powerset: {N})]*/
(num, num) getRecord1() => (1, 1);
/*member: getRecord2:[Record(RecordShape(2), [Value([exact=JSBool|powerset={I}], value: true, powerset: {I}), Value([exact=JSBool|powerset={I}], value: false, powerset: {I})], powerset: {N})]*/
(bool, bool) getRecord2() => (true, false);
/*member: getRecord3:[Record(RecordShape(2), [Value([exact=JSString|powerset={I}], value: "a", powerset: {I}), Container([exact=JSUnmodifiableArray|powerset={I}], element: [empty|powerset=empty], length: 0, powerset: {I})], powerset: {N})]*/
dynamic getRecord3() => ('a', const []);
/*member: getRecord4:[Record(RecordShape(2), [Union([exact=JSBool|powerset={I}], [exact=JSUInt31|powerset={I}], powerset: {I}), Union([exact=JSBool|powerset={I}], [exact=JSUInt31|powerset={I}], powerset: {I})], powerset: {N})]*/
dynamic getRecord4(bool /*[exact=JSBool|powerset={I}]*/ b) =>
    b ? getRecord1() : getRecord2();

/*member: useRecord1:Union([exact=JSBool|powerset={I}], [exact=JSUInt31|powerset={I}], powerset: {I})*/
useRecord1(bool /*[exact=JSBool|powerset={I}]*/ b) {
  final r = getRecord4(b);
  return r
      . /*[Record(RecordShape(2), [Union([exact=JSBool|powerset={I}], [exact=JSUInt31|powerset={I}], powerset: {I}), Union([exact=JSBool|powerset={I}], [exact=JSUInt31|powerset={I}], powerset: {I})], powerset: {N})]*/ $2;
}

/*member: useRecord2:Value([exact=JSBool|powerset={I}], value: false, powerset: {I})*/
useRecord2(bool /*[exact=JSBool|powerset={I}]*/ b) {
  final r = b ? getRecord2() : getRecord2();
  return r
      . /*[Record(RecordShape(2), [Value([exact=JSBool|powerset={I}], value: true, powerset: {I}), Value([exact=JSBool|powerset={I}], value: false, powerset: {I})], powerset: {N})]*/ $2;
}

/*member: useRecord3:Union([exact=JSBool|powerset={I}], [exact=JSUInt31|powerset={I}], powerset: {I})*/
useRecord3(bool /*[exact=JSBool|powerset={I}]*/ b) {
  final r = b ? getRecord2() : getRecord1();
  return r
      . /*[Record(RecordShape(2), [Union([exact=JSBool|powerset={I}], [exact=JSUInt31|powerset={I}], powerset: {I}), Union([exact=JSBool|powerset={I}], [exact=JSUInt31|powerset={I}], powerset: {I})], powerset: {N})]*/ $2;
}

/*member: useRecord4:Union([exact=JSBool|powerset={I}], [exact=JSUnmodifiableArray|powerset={I}], powerset: {I})*/
useRecord4(bool /*[exact=JSBool|powerset={I}]*/ b) {
  final r = b ? getRecord2() : getRecord3();
  return r
      . /*[Record(RecordShape(2), [Union([exact=JSBool|powerset={I}], [exact=JSString|powerset={I}], powerset: {I}), Union([exact=JSBool|powerset={I}], [exact=JSUnmodifiableArray|powerset={I}], powerset: {I})], powerset: {N})]*/ $2;
}

/*member: useRecord5:Union([exact=JSString|powerset={I}], [exact=JSUInt31|powerset={I}], powerset: {I})*/
useRecord5(bool /*[exact=JSBool|powerset={I}]*/ b) {
  final c = /*[Record(RecordShape(2), [Value([exact=JSString|powerset={I}], value: "a", powerset: {I}), Value([exact=JSString|powerset={I}], value: "b", powerset: {I})], powerset: {N})]*/
      () => ('a', 'b');
  return (b ? c() : (3, 4))
      . /*[Record(RecordShape(2), [Union([exact=JSString|powerset={I}], [exact=JSUInt31|powerset={I}], powerset: {I}), Union([exact=JSString|powerset={I}], [exact=JSUInt31|powerset={I}], powerset: {I})], powerset: {N})]*/ $1;
}