diff --git a/dsl/std/types.dag b/dsl/std/types.dag index 75cbef5d4b7..1171eea02b0 100644 --- a/dsl/std/types.dag +++ b/dsl/std/types.dag @@ -164,12 +164,12 @@ fn canonical_container_names() -> List { // require v3 to resolve aliases in Branch input type-checking // (currently pins Bool as a direct Disj for if/else). Deferred until // that compiler work lands; keeps intent-signaling via distinct names. -// v3 Path A (Lane 1e-2b): `Bool` still parses here for v2 (`dsl/` is v2-scanned); -// `Declaration.inhabits` → `BooleanAlgebra` is applied in v3 bootstrap -// (`bootstrap::patch_kernel_bool_boolean_algebra_inhabits`). Surface -// `type … inhabits … =` is v3-only under `src/v3/compiler/` (generated parser). -// Dissolution: when v2 accepts `inhabits` on types, move the clause here and -// delete `patch_kernel_bool_boolean_algebra_inhabits` (see that function's doc). +// v3 Path A (Lane 1e-2b): `Bool` still parses here for v2 (`dsl/` is v2-scanned; +// see `v2-compiler-tests` `gist_transitive_closure_parse` and stage0 self-host +// fixtures). `Declaration.inhabits` → `BooleanAlgebra` is applied in v3 +// bootstrap after std fixtures lower (`bootstrap::patch_kernel_bool_boolean_algebra_inhabits`). +// Surface `type … inhabits … =` is v3-only under `src/v3/compiler/` (generated +// parser) and cannot appear in this file until v2 gains a compatible parse path. type Bool = True | False // Unit: terminal object (zero-field product, single inhabitant). diff --git a/src/v3/compiler/src/bootstrap.rs b/src/v3/compiler/src/bootstrap.rs index d1f6d6f845d..f143f1657cc 100644 --- a/src/v3/compiler/src/bootstrap.rs +++ b/src/v3/compiler/src/bootstrap.rs @@ -105,20 +105,20 @@ pub const BOOTSTRAP_FIXTURE_PATH_KEYS: &[&str] = &[ /// v3-only inhabitance for kernel `Bool` (Class 5 / Lane 1e-2b Path A). /// -/// `dsl/std/types.dag` must stay free of `inhabits` so v2 can parse every -/// `dsl/` file. After the std fixtures lower, wire `Bool` to -/// `BooleanAlgebra` the same way surface `inhabits` lowering would, -/// without shadowing `Bool` (which would reallocate sum variants and break -/// `src/v3/std/algebra.dag` pattern wiring). +/// `dsl/std/types.dag` must stay free of `type … inhabits … =` so v2 can parse +/// every `dsl/` file on the stage0 / gist dependency surfaces (see +/// `v2-compiler-tests::parse::gist_transitive_closure_parse`). After the std +/// fixtures lower, wire `Bool` to `BooleanAlgebra` the same way surface +/// `inhabits` lowering would, without shadowing `Bool` (which would reallocate +/// sum variants and break `src/v3/std/algebra.dag` pattern wiring). /// /// Preconditions are checked: any failure attaches a bootstrap /// `Diagnostic::ResolveError` via `Dag::attach_diagnostic` so compilation /// fails closed instead of silently omitting `inhabits`. /// -/// **Dissolution:** remove this patch once the v2 compiler surface accepts -/// `type … inhabits … =` in `dsl/` (then express -/// `type Bool inhabits BooleanAlgebra = True | False` in -/// `dsl/std/types.dag` and delete `patch_kernel_bool_boolean_algebra_inhabits`). +/// **Dissolution:** remove this patch once v2 accepts `inhabits` on sum types in +/// `dsl/` (then express `type Bool inhabits BooleanAlgebra = True | False` +/// in `dsl/std/types.dag` and delete this helper). #[cfg_attr(not(feature = "bootstrap-regen-fresh"), allow(dead_code))] pub(crate) fn patch_kernel_bool_boolean_algebra_inhabits(dag: &mut Dag) { // Audit row #2 retirement (bootstrap.rs slice 1 of 2): diff --git a/src/v3/compiler/src/bootstrap_generated.rs b/src/v3/compiler/src/bootstrap_generated.rs index c829735a8dc..8ca6137affd 100644 --- a/src/v3/compiler/src/bootstrap_generated.rs +++ b/src/v3/compiler/src/bootstrap_generated.rs @@ -59,7 +59,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { id: NodeId(3), data: LiteralBits::Int("1".to_string()), output: PortId(4), - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -67,13 +67,13 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(3), PortId(4)], output: PortId(5), - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), })); nodes.push(Behavior::Value(ValueNode { id: NodeId(5), data: LiteralBits::Int("5".to_string()), output: PortId(6), - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -81,21 +81,21 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Le)), inputs: vec![PortId(3), PortId(6)], output: PortId(7), - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), })); nodes.push(Behavior::Transform(TransformNode { id: NodeId(7), target: TransformTarget::Operator(OperatorKind::Logical(LogicalOp::And)), inputs: vec![PortId(5), PortId(7)], output: PortId(8), - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(8), name: "".to_string(), value: PortId(8), params: vec![PortId(3)], - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), lane2_workflow: None, emit_participation: None, })); @@ -103,7 +103,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { id: NodeId(9), data: LiteralBits::Int("100".to_string()), output: PortId(10), - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -111,13 +111,13 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(9), PortId(10)], output: PortId(11), - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), })); nodes.push(Behavior::Value(ValueNode { id: NodeId(11), data: LiteralBits::Int("599".to_string()), output: PortId(12), - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -125,21 +125,21 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Le)), inputs: vec![PortId(9), PortId(12)], output: PortId(13), - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), })); nodes.push(Behavior::Transform(TransformNode { id: NodeId(13), target: TransformTarget::Operator(OperatorKind::Logical(LogicalOp::And)), inputs: vec![PortId(11), PortId(13)], output: PortId(14), - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(14), name: "".to_string(), value: PortId(14), params: vec![PortId(9)], - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), lane2_workflow: None, emit_participation: None, })); @@ -147,7 +147,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { id: NodeId(15), data: LiteralBits::Int("1".to_string()), output: PortId(16), - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -155,13 +155,13 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(15), PortId(16)], output: PortId(17), - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), })); nodes.push(Behavior::Value(ValueNode { id: NodeId(17), data: LiteralBits::Int("65535".to_string()), output: PortId(18), - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -169,21 +169,21 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Le)), inputs: vec![PortId(15), PortId(18)], output: PortId(19), - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), })); nodes.push(Behavior::Transform(TransformNode { id: NodeId(19), target: TransformTarget::Operator(OperatorKind::Logical(LogicalOp::And)), inputs: vec![PortId(17), PortId(19)], output: PortId(20), - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(20), name: "".to_string(), value: PortId(20), params: vec![PortId(15)], - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), lane2_workflow: None, emit_participation: None, })); @@ -191,7 +191,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { id: NodeId(21), data: LiteralBits::Int("0".to_string()), output: PortId(22), - span: SourceSpan::new("dsl/std/types.dag", 13381, 13394), + span: SourceSpan::new("dsl/std/types.dag", 13409, 13422), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -199,14 +199,14 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(21), PortId(22)], output: PortId(23), - span: SourceSpan::new("dsl/std/types.dag", 13381, 13394), + span: SourceSpan::new("dsl/std/types.dag", 13409, 13422), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(23), name: "".to_string(), value: PortId(23), params: vec![PortId(21)], - span: SourceSpan::new("dsl/std/types.dag", 13381, 13394), + span: SourceSpan::new("dsl/std/types.dag", 13409, 13422), lane2_workflow: None, emit_participation: None, })); @@ -214,7 +214,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { id: NodeId(24), data: LiteralBits::Int("0".to_string()), output: PortId(25), - span: SourceSpan::new("dsl/std/types.dag", 13426, 13439), + span: SourceSpan::new("dsl/std/types.dag", 13454, 13467), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -222,14 +222,14 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(24), PortId(25)], output: PortId(26), - span: SourceSpan::new("dsl/std/types.dag", 13426, 13439), + span: SourceSpan::new("dsl/std/types.dag", 13454, 13467), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(26), name: "".to_string(), value: PortId(26), params: vec![PortId(24)], - span: SourceSpan::new("dsl/std/types.dag", 13426, 13439), + span: SourceSpan::new("dsl/std/types.dag", 13454, 13467), lane2_workflow: None, emit_participation: None, })); @@ -237,7 +237,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { id: NodeId(27), data: LiteralBits::Int("0".to_string()), output: PortId(28), - span: SourceSpan::new("dsl/std/types.dag", 13952, 13965), + span: SourceSpan::new("dsl/std/types.dag", 13980, 13993), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -245,14 +245,14 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(27), PortId(28)], output: PortId(29), - span: SourceSpan::new("dsl/std/types.dag", 13952, 13965), + span: SourceSpan::new("dsl/std/types.dag", 13980, 13993), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(29), name: "".to_string(), value: PortId(29), params: vec![PortId(27)], - span: SourceSpan::new("dsl/std/types.dag", 13952, 13965), + span: SourceSpan::new("dsl/std/types.dag", 13980, 13993), lane2_workflow: None, emit_participation: None, })); @@ -260,7 +260,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { id: NodeId(30), data: LiteralBits::Int("0".to_string()), output: PortId(31), - span: SourceSpan::new("dsl/std/types.dag", 13997, 14010), + span: SourceSpan::new("dsl/std/types.dag", 14025, 14038), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -268,14 +268,14 @@ fn bootstrapped_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(30), PortId(31)], output: PortId(32), - span: SourceSpan::new("dsl/std/types.dag", 13997, 14010), + span: SourceSpan::new("dsl/std/types.dag", 14025, 14038), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(32), name: "".to_string(), value: PortId(32), params: vec![PortId(30)], - span: SourceSpan::new("dsl/std/types.dag", 13997, 14010), + span: SourceSpan::new("dsl/std/types.dag", 14025, 14038), lane2_workflow: None, emit_participation: None, })); @@ -10662,7 +10662,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 7546, 7570), + span: SourceSpan::new("dsl/std/types.dag", 7574, 7598), }); declarations.push(Declaration { id: DeclarationId(127), @@ -10676,7 +10676,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 7638, 7647), + span: SourceSpan::new("dsl/std/types.dag", 7666, 7675), }); declarations.push(Declaration { id: DeclarationId(128), @@ -10690,7 +10690,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 7764, 7773), + span: SourceSpan::new("dsl/std/types.dag", 7792, 7801), }); declarations.push(Declaration { id: DeclarationId(129), @@ -10704,7 +10704,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 7774, 7784), + span: SourceSpan::new("dsl/std/types.dag", 7802, 7812), }); declarations.push(Declaration { id: DeclarationId(130), @@ -10721,7 +10721,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 8475, 8490), + span: SourceSpan::new("dsl/std/types.dag", 8503, 8518), }); declarations.push(Declaration { id: DeclarationId(131), @@ -10741,7 +10741,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 9254, 9294), + span: SourceSpan::new("dsl/std/types.dag", 9282, 9322), }); declarations.push(Declaration { id: DeclarationId(132), @@ -10755,7 +10755,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 9254, 9294), + span: SourceSpan::new("dsl/std/types.dag", 9282, 9322), }); declarations.push(Declaration { id: DeclarationId(133), @@ -10775,7 +10775,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 9295, 9338), + span: SourceSpan::new("dsl/std/types.dag", 9323, 9366), }); declarations.push(Declaration { id: DeclarationId(134), @@ -10789,7 +10789,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 9295, 9338), + span: SourceSpan::new("dsl/std/types.dag", 9323, 9366), }); declarations.push(Declaration { id: DeclarationId(135), @@ -10815,7 +10815,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 9339, 9389), + span: SourceSpan::new("dsl/std/types.dag", 9367, 9417), }); declarations.push(Declaration { id: DeclarationId(136), @@ -10829,7 +10829,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 9339, 9389), + span: SourceSpan::new("dsl/std/types.dag", 9367, 9417), }); declarations.push(Declaration { id: DeclarationId(137), @@ -10843,7 +10843,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 9339, 9389), + span: SourceSpan::new("dsl/std/types.dag", 9367, 9417), }); declarations.push(Declaration { id: DeclarationId(138), @@ -10860,7 +10860,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 10735, 10761), + span: SourceSpan::new("dsl/std/types.dag", 10763, 10789), }); declarations.push(Declaration { id: DeclarationId(139), @@ -10877,7 +10877,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 10829, 10855), + span: SourceSpan::new("dsl/std/types.dag", 10857, 10883), }); declarations.push(Declaration { id: DeclarationId(140), @@ -10891,7 +10891,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(622)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 10856, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10884, 10935), }); declarations.push(Declaration { id: DeclarationId(141), @@ -10905,7 +10905,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(623)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 10908, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10936, 10991), }); declarations.push(Declaration { id: DeclarationId(142), @@ -10922,7 +10922,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11037, 11063), + span: SourceSpan::new("dsl/std/types.dag", 11065, 11091), }); declarations.push(Declaration { id: DeclarationId(143), @@ -10936,7 +10936,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(624)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11064, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11092, 11147), }); declarations.push(Declaration { id: DeclarationId(144), @@ -10953,7 +10953,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11208, 11234), + span: SourceSpan::new("dsl/std/types.dag", 11236, 11262), }); declarations.push(Declaration { id: DeclarationId(145), @@ -10972,7 +10972,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { nominal_opacity: Some(NominalOpacity { permitted_accessors: vec![], }), - span: SourceSpan::new("dsl/std/types.dag", 11235, 11276), + span: SourceSpan::new("dsl/std/types.dag", 11263, 11304), }); declarations.push(Declaration { id: DeclarationId(146), @@ -10986,7 +10986,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(625)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11277, 11319), + span: SourceSpan::new("dsl/std/types.dag", 11305, 11347), }); declarations.push(Declaration { id: DeclarationId(147), @@ -11003,7 +11003,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11380, 11406), + span: SourceSpan::new("dsl/std/types.dag", 11408, 11434), }); declarations.push(Declaration { id: DeclarationId(148), @@ -11020,7 +11020,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11479, 11505), + span: SourceSpan::new("dsl/std/types.dag", 11507, 11533), }); declarations.push(Declaration { id: DeclarationId(149), @@ -11034,7 +11034,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(626)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11506, 11551), + span: SourceSpan::new("dsl/std/types.dag", 11534, 11579), }); declarations.push(Declaration { id: DeclarationId(150), @@ -11048,7 +11048,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(627)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11552, 11597), + span: SourceSpan::new("dsl/std/types.dag", 11580, 11625), }); declarations.push(Declaration { id: DeclarationId(151), @@ -11062,7 +11062,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(628)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11598, 11643), + span: SourceSpan::new("dsl/std/types.dag", 11626, 11671), }); declarations.push(Declaration { id: DeclarationId(152), @@ -11076,7 +11076,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(629)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12278, 12337), + span: SourceSpan::new("dsl/std/types.dag", 12306, 12365), }); declarations.push(Declaration { id: DeclarationId(153), @@ -11090,7 +11090,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(630)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12338, 12397), + span: SourceSpan::new("dsl/std/types.dag", 12366, 12425), }); declarations.push(Declaration { id: DeclarationId(154), @@ -11109,7 +11109,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12398, 12450), + span: SourceSpan::new("dsl/std/types.dag", 12426, 12478), }); declarations.push(Declaration { id: DeclarationId(155), @@ -11128,7 +11128,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12451, 12501), + span: SourceSpan::new("dsl/std/types.dag", 12479, 12529), }); declarations.push(Declaration { id: DeclarationId(156), @@ -11142,7 +11142,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(631)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12502, 12545), + span: SourceSpan::new("dsl/std/types.dag", 12530, 12573), }); declarations.push(Declaration { id: DeclarationId(157), @@ -11171,7 +11171,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13163, 13223), + span: SourceSpan::new("dsl/std/types.dag", 13191, 13251), }); declarations.push(Declaration { id: DeclarationId(158), @@ -11188,7 +11188,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13323, 13349), + span: SourceSpan::new("dsl/std/types.dag", 13351, 13377), }); declarations.push(Declaration { id: DeclarationId(159), @@ -11202,7 +11202,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(632)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13350, 13394), + span: SourceSpan::new("dsl/std/types.dag", 13378, 13422), }); declarations.push(Declaration { id: DeclarationId(160), @@ -11216,7 +11216,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(633)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13395, 13439), + span: SourceSpan::new("dsl/std/types.dag", 13423, 13467), }); declarations.push(Declaration { id: DeclarationId(161), @@ -11230,7 +11230,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(634)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13921, 13965), + span: SourceSpan::new("dsl/std/types.dag", 13949, 13993), }); declarations.push(Declaration { id: DeclarationId(162), @@ -11244,7 +11244,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(635)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13966, 14010), + span: SourceSpan::new("dsl/std/types.dag", 13994, 14038), }); declarations.push(Declaration { id: DeclarationId(163), @@ -11258,7 +11258,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(636)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14534, 14589), + span: SourceSpan::new("dsl/std/types.dag", 14562, 14617), }); declarations.push(Declaration { id: DeclarationId(164), @@ -11272,7 +11272,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(637)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14590, 14644), + span: SourceSpan::new("dsl/std/types.dag", 14618, 14672), }); declarations.push(Declaration { id: DeclarationId(165), @@ -11286,7 +11286,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(638)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14645, 14698), + span: SourceSpan::new("dsl/std/types.dag", 14673, 14726), }); declarations.push(Declaration { id: DeclarationId(166), @@ -11300,7 +11300,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(639)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14699, 14756), + span: SourceSpan::new("dsl/std/types.dag", 14727, 14784), }); declarations.push(Declaration { id: DeclarationId(167), @@ -11314,7 +11314,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(640)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14757, 14814), + span: SourceSpan::new("dsl/std/types.dag", 14785, 14842), }); declarations.push(Declaration { id: DeclarationId(168), @@ -11328,7 +11328,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(641)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14815, 14870), + span: SourceSpan::new("dsl/std/types.dag", 14843, 14898), }); declarations.push(Declaration { id: DeclarationId(169), @@ -11342,7 +11342,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(642)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14871, 14927), + span: SourceSpan::new("dsl/std/types.dag", 14899, 14955), }); declarations.push(Declaration { id: DeclarationId(170), @@ -11356,7 +11356,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(643)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14928, 14984), + span: SourceSpan::new("dsl/std/types.dag", 14956, 15012), }); declarations.push(Declaration { id: DeclarationId(171), @@ -11370,7 +11370,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(644)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14985, 15043), + span: SourceSpan::new("dsl/std/types.dag", 15013, 15071), }); declarations.push(Declaration { id: DeclarationId(172), @@ -11384,7 +11384,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(645)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15274, 15345), + span: SourceSpan::new("dsl/std/types.dag", 15302, 15373), }); declarations.push(Declaration { id: DeclarationId(173), @@ -11398,7 +11398,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(646)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15346, 15417), + span: SourceSpan::new("dsl/std/types.dag", 15374, 15445), }); declarations.push(Declaration { id: DeclarationId(174), @@ -11412,7 +11412,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(647)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15418, 15485), + span: SourceSpan::new("dsl/std/types.dag", 15446, 15513), }); declarations.push(Declaration { id: DeclarationId(175), @@ -11426,7 +11426,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(648)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15486, 15547), + span: SourceSpan::new("dsl/std/types.dag", 15514, 15575), }); declarations.push(Declaration { id: DeclarationId(176), @@ -11440,7 +11440,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(649)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15627, 15669), + span: SourceSpan::new("dsl/std/types.dag", 15655, 15697), }); declarations.push(Declaration { id: DeclarationId(177), @@ -11454,7 +11454,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(650)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16054, 16096), + span: SourceSpan::new("dsl/std/types.dag", 16082, 16124), }); declarations.push(Declaration { id: DeclarationId(178), @@ -11471,7 +11471,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16221, 16254), + span: SourceSpan::new("dsl/std/types.dag", 16249, 16282), }); declarations.push(Declaration { id: DeclarationId(179), @@ -11500,7 +11500,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16640, 16683), + span: SourceSpan::new("dsl/std/types.dag", 16668, 16711), }); declarations.push(Declaration { id: DeclarationId(180), @@ -11533,7 +11533,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16811, 16866), + span: SourceSpan::new("dsl/std/types.dag", 16839, 16894), }); declarations.push(Declaration { id: DeclarationId(181), @@ -11562,7 +11562,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16867, 16920), + span: SourceSpan::new("dsl/std/types.dag", 16895, 16948), }); declarations.push(Declaration { id: DeclarationId(182), @@ -11599,7 +11599,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16922, 16959), + span: SourceSpan::new("dsl/std/types.dag", 16950, 16987), }); declarations.push(Declaration { id: DeclarationId(183), @@ -11636,7 +11636,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17207, 17529), + span: SourceSpan::new("dsl/std/types.dag", 17235, 17557), }); declarations.push(Declaration { id: DeclarationId(184), @@ -11697,7 +11697,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17604, 17707), + span: SourceSpan::new("dsl/std/types.dag", 17632, 17735), }); declarations.push(Declaration { id: DeclarationId(185), @@ -11730,7 +11730,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17708, 17754), + span: SourceSpan::new("dsl/std/types.dag", 17736, 17782), }); declarations.push(Declaration { id: DeclarationId(186), @@ -11775,7 +11775,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17755, 17821), + span: SourceSpan::new("dsl/std/types.dag", 17783, 17849), }); declarations.push(Declaration { id: DeclarationId(187), @@ -11828,7 +11828,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17822, 17914), + span: SourceSpan::new("dsl/std/types.dag", 17850, 17942), }); declarations.push(Declaration { id: DeclarationId(188), @@ -11865,7 +11865,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17915, 17975), + span: SourceSpan::new("dsl/std/types.dag", 17943, 18003), }); declarations.push(Declaration { id: DeclarationId(189), @@ -11898,7 +11898,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17977, 18052), + span: SourceSpan::new("dsl/std/types.dag", 18005, 18080), }); declarations.push(Declaration { id: DeclarationId(190), @@ -11923,7 +11923,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18054, 18119), + span: SourceSpan::new("dsl/std/types.dag", 18082, 18147), }); declarations.push(Declaration { id: DeclarationId(191), @@ -11960,7 +11960,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18428, 18506), + span: SourceSpan::new("dsl/std/types.dag", 18456, 18534), }); declarations.push(Declaration { id: DeclarationId(192), @@ -11989,7 +11989,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18636, 18694), + span: SourceSpan::new("dsl/std/types.dag", 18664, 18722), }); declarations.push(Declaration { id: DeclarationId(193), @@ -12006,7 +12006,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 19855, 19885), + span: SourceSpan::new("dsl/std/types.dag", 19883, 19913), }); declarations.push(Declaration { id: DeclarationId(194), @@ -12023,7 +12023,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 19966, 19996), + span: SourceSpan::new("dsl/std/types.dag", 19994, 20024), }); declarations.push(Declaration { id: DeclarationId(195), @@ -12040,7 +12040,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 20213, 20235), + span: SourceSpan::new("dsl/std/types.dag", 20241, 20263), }); declarations.push(Declaration { id: DeclarationId(196), @@ -12085,7 +12085,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 20979, 21047), + span: SourceSpan::new("dsl/std/types.dag", 21007, 21075), }); declarations.push(Declaration { id: DeclarationId(197), @@ -12118,7 +12118,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21515, 21611), + span: SourceSpan::new("dsl/std/types.dag", 21543, 21639), }); declarations.push(Declaration { id: DeclarationId(198), @@ -12147,7 +12147,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21733, 21866), + span: SourceSpan::new("dsl/std/types.dag", 21761, 21894), }); declarations.push(Declaration { id: DeclarationId(199), @@ -12188,7 +12188,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21868, 22018), + span: SourceSpan::new("dsl/std/types.dag", 21896, 22046), }); declarations.push(Declaration { id: DeclarationId(200), @@ -12202,7 +12202,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(651)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22095, 22159), + span: SourceSpan::new("dsl/std/types.dag", 22123, 22187), }); declarations.push(Declaration { id: DeclarationId(201), @@ -12216,7 +12216,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(652)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22160, 22217), + span: SourceSpan::new("dsl/std/types.dag", 22188, 22245), }); declarations.push(Declaration { id: DeclarationId(202), @@ -12230,7 +12230,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(653)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22218, 22274), + span: SourceSpan::new("dsl/std/types.dag", 22246, 22302), }); declarations.push(Declaration { id: DeclarationId(203), @@ -12263,7 +12263,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22351, 22442), + span: SourceSpan::new("dsl/std/types.dag", 22379, 22470), }); declarations.push(Declaration { id: DeclarationId(204), @@ -12292,7 +12292,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22444, 22515), + span: SourceSpan::new("dsl/std/types.dag", 22472, 22543), }); declarations.push(Declaration { id: DeclarationId(205), @@ -12321,7 +12321,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22517, 22587), + span: SourceSpan::new("dsl/std/types.dag", 22545, 22615), }); declarations.push(Declaration { id: DeclarationId(206), @@ -12350,7 +12350,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22589, 22662), + span: SourceSpan::new("dsl/std/types.dag", 22617, 22690), }); declarations.push(Declaration { id: DeclarationId(207), @@ -12379,7 +12379,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22664, 22728), + span: SourceSpan::new("dsl/std/types.dag", 22692, 22756), }); declarations.push(Declaration { id: DeclarationId(208), @@ -12416,7 +12416,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22805, 22912), + span: SourceSpan::new("dsl/std/types.dag", 22833, 22940), }); declarations.push(Declaration { id: DeclarationId(209), @@ -12445,7 +12445,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22914, 22971), + span: SourceSpan::new("dsl/std/types.dag", 22942, 22999), }); declarations.push(Declaration { id: DeclarationId(210), @@ -12482,7 +12482,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22973, 23074), + span: SourceSpan::new("dsl/std/types.dag", 23001, 23102), }); declarations.push(Declaration { id: DeclarationId(211), @@ -12511,7 +12511,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23227, 23299), + span: SourceSpan::new("dsl/std/types.dag", 23255, 23327), }); declarations.push(Declaration { id: DeclarationId(212), @@ -12540,7 +12540,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23301, 23387), + span: SourceSpan::new("dsl/std/types.dag", 23329, 23415), }); declarations.push(Declaration { id: DeclarationId(213), @@ -12577,7 +12577,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23389, 23526), + span: SourceSpan::new("dsl/std/types.dag", 23417, 23554), }); declarations.push(Declaration { id: DeclarationId(214), @@ -12602,7 +12602,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23528, 23581), + span: SourceSpan::new("dsl/std/types.dag", 23556, 23609), }); declarations.push(Declaration { id: DeclarationId(215), @@ -12627,7 +12627,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23583, 23641), + span: SourceSpan::new("dsl/std/types.dag", 23611, 23669), }); declarations.push(Declaration { id: DeclarationId(216), @@ -12656,7 +12656,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23718, 23792), + span: SourceSpan::new("dsl/std/types.dag", 23746, 23820), }); declarations.push(Declaration { id: DeclarationId(217), @@ -12675,7 +12675,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23794, 23840), + span: SourceSpan::new("dsl/std/types.dag", 23822, 23868), }); declarations.push(Declaration { id: DeclarationId(218), @@ -12704,7 +12704,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24099, 24209), + span: SourceSpan::new("dsl/std/types.dag", 24127, 24237), }); declarations.push(Declaration { id: DeclarationId(219), @@ -12737,7 +12737,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24211, 24331), + span: SourceSpan::new("dsl/std/types.dag", 24239, 24359), }); declarations.push(Declaration { id: DeclarationId(220), @@ -12766,7 +12766,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24333, 24398), + span: SourceSpan::new("dsl/std/types.dag", 24361, 24426), }); declarations.push(Declaration { id: DeclarationId(221), @@ -12795,7 +12795,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24400, 24486), + span: SourceSpan::new("dsl/std/types.dag", 24428, 24514), }); declarations.push(Declaration { id: DeclarationId(222), @@ -12832,7 +12832,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24555, 24689), + span: SourceSpan::new("dsl/std/types.dag", 24583, 24717), }); declarations.push(Declaration { id: DeclarationId(223), @@ -12865,7 +12865,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24691, 24733), + span: SourceSpan::new("dsl/std/types.dag", 24719, 24761), }); declarations.push(Declaration { id: DeclarationId(224), @@ -12894,7 +12894,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24735, 24806), + span: SourceSpan::new("dsl/std/types.dag", 24763, 24834), }); declarations.push(Declaration { id: DeclarationId(225), @@ -12919,7 +12919,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24947, 25004), + span: SourceSpan::new("dsl/std/types.dag", 24975, 25032), }); declarations.push(Declaration { id: DeclarationId(226), @@ -12933,7 +12933,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 26938, 26957), + span: SourceSpan::new("dsl/std/types.dag", 26966, 26985), }); declarations.push(Declaration { id: DeclarationId(227), @@ -12947,7 +12947,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 26938, 26957), + span: SourceSpan::new("dsl/std/types.dag", 26966, 26985), }); declarations.push(Declaration { id: DeclarationId(228), @@ -18874,7 +18874,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 7558, 7562), + span: SourceSpan::new("dsl/std/types.dag", 7586, 7590), }); declarations.push(Declaration { id: DeclarationId(511), @@ -18888,7 +18888,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 7565, 7570), + span: SourceSpan::new("dsl/std/types.dag", 7593, 7598), }); declarations.push(Declaration { id: DeclarationId(512), @@ -18908,7 +18908,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12431, 12448), + span: SourceSpan::new("dsl/std/types.dag", 12459, 12476), }); declarations.push(Declaration { id: DeclarationId(513), @@ -18928,7 +18928,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12482, 12499), + span: SourceSpan::new("dsl/std/types.dag", 12510, 12527), }); declarations.push(Declaration { id: DeclarationId(514), @@ -18942,7 +18942,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16660, 16665), + span: SourceSpan::new("dsl/std/types.dag", 16688, 16693), }); declarations.push(Declaration { id: DeclarationId(515), @@ -18956,7 +18956,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16668, 16673), + span: SourceSpan::new("dsl/std/types.dag", 16696, 16701), }); declarations.push(Declaration { id: DeclarationId(516), @@ -18970,7 +18970,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16676, 16683), + span: SourceSpan::new("dsl/std/types.dag", 16704, 16711), }); declarations.push(Declaration { id: DeclarationId(517), @@ -18984,7 +18984,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16835, 16839), + span: SourceSpan::new("dsl/std/types.dag", 16863, 16867), }); declarations.push(Declaration { id: DeclarationId(518), @@ -18998,7 +18998,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16842, 16851), + span: SourceSpan::new("dsl/std/types.dag", 16870, 16879), }); declarations.push(Declaration { id: DeclarationId(519), @@ -19012,7 +19012,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16854, 16860), + span: SourceSpan::new("dsl/std/types.dag", 16882, 16888), }); declarations.push(Declaration { id: DeclarationId(520), @@ -19026,7 +19026,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16863, 16866), + span: SourceSpan::new("dsl/std/types.dag", 16891, 16894), }); declarations.push(Declaration { id: DeclarationId(521), @@ -19040,7 +19040,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16891, 16899), + span: SourceSpan::new("dsl/std/types.dag", 16919, 16927), }); declarations.push(Declaration { id: DeclarationId(522), @@ -19054,7 +19054,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16902, 16911), + span: SourceSpan::new("dsl/std/types.dag", 16930, 16939), }); declarations.push(Declaration { id: DeclarationId(523), @@ -19068,7 +19068,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16914, 16920), + span: SourceSpan::new("dsl/std/types.dag", 16942, 16948), }); declarations.push(Declaration { id: DeclarationId(524), @@ -19082,7 +19082,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16940, 16942), + span: SourceSpan::new("dsl/std/types.dag", 16968, 16970), }); declarations.push(Declaration { id: DeclarationId(525), @@ -19096,7 +19096,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16945, 16946), + span: SourceSpan::new("dsl/std/types.dag", 16973, 16974), }); declarations.push(Declaration { id: DeclarationId(526), @@ -19110,7 +19110,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16949, 16950), + span: SourceSpan::new("dsl/std/types.dag", 16977, 16978), }); declarations.push(Declaration { id: DeclarationId(527), @@ -19124,7 +19124,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16953, 16954), + span: SourceSpan::new("dsl/std/types.dag", 16981, 16982), }); declarations.push(Declaration { id: DeclarationId(528), @@ -19138,7 +19138,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16957, 16959), + span: SourceSpan::new("dsl/std/types.dag", 16985, 16987), }); declarations.push(Declaration { id: DeclarationId(529), @@ -19157,7 +19157,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17231, 17266), + span: SourceSpan::new("dsl/std/types.dag", 17259, 17294), }); declarations.push(Declaration { id: DeclarationId(530), @@ -19176,7 +19176,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17271, 17312), + span: SourceSpan::new("dsl/std/types.dag", 17299, 17340), }); declarations.push(Declaration { id: DeclarationId(531), @@ -19195,7 +19195,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17387, 17407), + span: SourceSpan::new("dsl/std/types.dag", 17415, 17435), }); declarations.push(Declaration { id: DeclarationId(532), @@ -19215,7 +19215,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17422, 17434), + span: SourceSpan::new("dsl/std/types.dag", 17450, 17462), }); declarations.push(Declaration { id: DeclarationId(533), @@ -19244,7 +19244,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17317, 17440), + span: SourceSpan::new("dsl/std/types.dag", 17345, 17468), }); declarations.push(Declaration { id: DeclarationId(534), @@ -19264,7 +19264,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17471, 17483), + span: SourceSpan::new("dsl/std/types.dag", 17499, 17511), }); declarations.push(Declaration { id: DeclarationId(535), @@ -19283,7 +19283,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17445, 17485), + span: SourceSpan::new("dsl/std/types.dag", 17473, 17513), }); declarations.push(Declaration { id: DeclarationId(536), @@ -19303,7 +19303,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17507, 17527), + span: SourceSpan::new("dsl/std/types.dag", 17535, 17555), }); declarations.push(Declaration { id: DeclarationId(537), @@ -19322,7 +19322,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17490, 17529), + span: SourceSpan::new("dsl/std/types.dag", 17518, 17557), }); declarations.push(Declaration { id: DeclarationId(538), @@ -19336,7 +19336,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17616, 17622), + span: SourceSpan::new("dsl/std/types.dag", 17644, 17650), }); declarations.push(Declaration { id: DeclarationId(539), @@ -19350,7 +19350,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17625, 17628), + span: SourceSpan::new("dsl/std/types.dag", 17653, 17656), }); declarations.push(Declaration { id: DeclarationId(540), @@ -19364,7 +19364,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17631, 17638), + span: SourceSpan::new("dsl/std/types.dag", 17659, 17666), }); declarations.push(Declaration { id: DeclarationId(541), @@ -19378,7 +19378,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17641, 17644), + span: SourceSpan::new("dsl/std/types.dag", 17669, 17672), }); declarations.push(Declaration { id: DeclarationId(542), @@ -19392,7 +19392,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17647, 17652), + span: SourceSpan::new("dsl/std/types.dag", 17675, 17680), }); declarations.push(Declaration { id: DeclarationId(543), @@ -19406,7 +19406,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17655, 17659), + span: SourceSpan::new("dsl/std/types.dag", 17683, 17687), }); declarations.push(Declaration { id: DeclarationId(544), @@ -19420,7 +19420,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17662, 17668), + span: SourceSpan::new("dsl/std/types.dag", 17690, 17696), }); declarations.push(Declaration { id: DeclarationId(545), @@ -19434,7 +19434,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17671, 17677), + span: SourceSpan::new("dsl/std/types.dag", 17699, 17705), }); declarations.push(Declaration { id: DeclarationId(546), @@ -19448,7 +19448,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17680, 17688), + span: SourceSpan::new("dsl/std/types.dag", 17708, 17716), }); declarations.push(Declaration { id: DeclarationId(547), @@ -19462,7 +19462,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17691, 17698), + span: SourceSpan::new("dsl/std/types.dag", 17719, 17726), }); declarations.push(Declaration { id: DeclarationId(548), @@ -19476,7 +19476,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17701, 17707), + span: SourceSpan::new("dsl/std/types.dag", 17729, 17735), }); declarations.push(Declaration { id: DeclarationId(549), @@ -19490,7 +19490,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17722, 17735), + span: SourceSpan::new("dsl/std/types.dag", 17750, 17763), }); declarations.push(Declaration { id: DeclarationId(550), @@ -19504,7 +19504,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17738, 17740), + span: SourceSpan::new("dsl/std/types.dag", 17766, 17768), }); declarations.push(Declaration { id: DeclarationId(551), @@ -19518,7 +19518,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17743, 17748), + span: SourceSpan::new("dsl/std/types.dag", 17771, 17776), }); declarations.push(Declaration { id: DeclarationId(552), @@ -19532,7 +19532,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17751, 17754), + span: SourceSpan::new("dsl/std/types.dag", 17779, 17782), }); declarations.push(Declaration { id: DeclarationId(553), @@ -19546,7 +19546,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17765, 17770), + span: SourceSpan::new("dsl/std/types.dag", 17793, 17798), }); declarations.push(Declaration { id: DeclarationId(554), @@ -19560,7 +19560,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17773, 17778), + span: SourceSpan::new("dsl/std/types.dag", 17801, 17806), }); declarations.push(Declaration { id: DeclarationId(555), @@ -19574,7 +19574,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17781, 17788), + span: SourceSpan::new("dsl/std/types.dag", 17809, 17816), }); declarations.push(Declaration { id: DeclarationId(556), @@ -19588,7 +19588,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17791, 17798), + span: SourceSpan::new("dsl/std/types.dag", 17819, 17826), }); declarations.push(Declaration { id: DeclarationId(557), @@ -19602,7 +19602,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17801, 17808), + span: SourceSpan::new("dsl/std/types.dag", 17829, 17836), }); declarations.push(Declaration { id: DeclarationId(558), @@ -19616,7 +19616,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17811, 17814), + span: SourceSpan::new("dsl/std/types.dag", 17839, 17842), }); declarations.push(Declaration { id: DeclarationId(559), @@ -19630,7 +19630,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17817, 17821), + span: SourceSpan::new("dsl/std/types.dag", 17845, 17849), }); declarations.push(Declaration { id: DeclarationId(560), @@ -19644,7 +19644,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17836, 17843), + span: SourceSpan::new("dsl/std/types.dag", 17864, 17871), }); declarations.push(Declaration { id: DeclarationId(561), @@ -19658,7 +19658,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17846, 17849), + span: SourceSpan::new("dsl/std/types.dag", 17874, 17877), }); declarations.push(Declaration { id: DeclarationId(562), @@ -19672,7 +19672,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17852, 17859), + span: SourceSpan::new("dsl/std/types.dag", 17880, 17887), }); declarations.push(Declaration { id: DeclarationId(563), @@ -19686,7 +19686,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17862, 17871), + span: SourceSpan::new("dsl/std/types.dag", 17890, 17899), }); declarations.push(Declaration { id: DeclarationId(564), @@ -19700,7 +19700,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17874, 17878), + span: SourceSpan::new("dsl/std/types.dag", 17902, 17906), }); declarations.push(Declaration { id: DeclarationId(565), @@ -19714,7 +19714,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17881, 17885), + span: SourceSpan::new("dsl/std/types.dag", 17909, 17913), }); declarations.push(Declaration { id: DeclarationId(566), @@ -19728,7 +19728,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17888, 17898), + span: SourceSpan::new("dsl/std/types.dag", 17916, 17926), }); declarations.push(Declaration { id: DeclarationId(567), @@ -19742,7 +19742,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17901, 17905), + span: SourceSpan::new("dsl/std/types.dag", 17929, 17933), }); declarations.push(Declaration { id: DeclarationId(568), @@ -19756,7 +19756,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17908, 17914), + span: SourceSpan::new("dsl/std/types.dag", 17936, 17942), }); declarations.push(Declaration { id: DeclarationId(569), @@ -19770,7 +19770,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17935, 17941), + span: SourceSpan::new("dsl/std/types.dag", 17963, 17969), }); declarations.push(Declaration { id: DeclarationId(570), @@ -19784,7 +19784,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17944, 17947), + span: SourceSpan::new("dsl/std/types.dag", 17972, 17975), }); declarations.push(Declaration { id: DeclarationId(571), @@ -19798,7 +19798,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17950, 17959), + span: SourceSpan::new("dsl/std/types.dag", 17978, 17987), }); declarations.push(Declaration { id: DeclarationId(572), @@ -19812,7 +19812,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17962, 17964), + span: SourceSpan::new("dsl/std/types.dag", 17990, 17992), }); declarations.push(Declaration { id: DeclarationId(573), @@ -19826,7 +19826,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17967, 17975), + span: SourceSpan::new("dsl/std/types.dag", 17995, 18003), }); declarations.push(Declaration { id: DeclarationId(574), @@ -19845,7 +19845,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18043, 18050), + span: SourceSpan::new("dsl/std/types.dag", 18071, 18078), }); declarations.push(Declaration { id: DeclarationId(575), @@ -19859,7 +19859,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18447, 18458), + span: SourceSpan::new("dsl/std/types.dag", 18475, 18486), }); declarations.push(Declaration { id: DeclarationId(576), @@ -19873,7 +19873,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18463, 18472), + span: SourceSpan::new("dsl/std/types.dag", 18491, 18500), }); declarations.push(Declaration { id: DeclarationId(577), @@ -19887,7 +19887,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18477, 18484), + span: SourceSpan::new("dsl/std/types.dag", 18505, 18512), }); declarations.push(Declaration { id: DeclarationId(578), @@ -19901,7 +19901,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18489, 18496), + span: SourceSpan::new("dsl/std/types.dag", 18517, 18524), }); declarations.push(Declaration { id: DeclarationId(579), @@ -19915,7 +19915,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18501, 18506), + span: SourceSpan::new("dsl/std/types.dag", 18529, 18534), }); declarations.push(Declaration { id: DeclarationId(580), @@ -19929,7 +19929,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18659, 18669), + span: SourceSpan::new("dsl/std/types.dag", 18687, 18697), }); declarations.push(Declaration { id: DeclarationId(581), @@ -19943,7 +19943,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18674, 18683), + span: SourceSpan::new("dsl/std/types.dag", 18702, 18711), }); declarations.push(Declaration { id: DeclarationId(582), @@ -19957,7 +19957,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18688, 18694), + span: SourceSpan::new("dsl/std/types.dag", 18716, 18722), }); declarations.push(Declaration { id: DeclarationId(583), @@ -19971,7 +19971,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 20997, 21000), + span: SourceSpan::new("dsl/std/types.dag", 21025, 21028), }); declarations.push(Declaration { id: DeclarationId(584), @@ -19985,7 +19985,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21003, 21007), + span: SourceSpan::new("dsl/std/types.dag", 21031, 21035), }); declarations.push(Declaration { id: DeclarationId(585), @@ -19999,7 +19999,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21010, 21013), + span: SourceSpan::new("dsl/std/types.dag", 21038, 21041), }); declarations.push(Declaration { id: DeclarationId(586), @@ -20013,7 +20013,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21016, 21021), + span: SourceSpan::new("dsl/std/types.dag", 21044, 21049), }); declarations.push(Declaration { id: DeclarationId(587), @@ -20027,7 +20027,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21024, 21030), + span: SourceSpan::new("dsl/std/types.dag", 21052, 21058), }); declarations.push(Declaration { id: DeclarationId(588), @@ -20041,7 +20041,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21033, 21037), + span: SourceSpan::new("dsl/std/types.dag", 21061, 21065), }); declarations.push(Declaration { id: DeclarationId(589), @@ -20055,7 +20055,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21040, 21047), + span: SourceSpan::new("dsl/std/types.dag", 21068, 21075), }); declarations.push(Declaration { id: DeclarationId(590), @@ -20069,7 +20069,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21535, 21541), + span: SourceSpan::new("dsl/std/types.dag", 21563, 21569), }); declarations.push(Declaration { id: DeclarationId(591), @@ -20088,7 +20088,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21546, 21569), + span: SourceSpan::new("dsl/std/types.dag", 21574, 21597), }); declarations.push(Declaration { id: DeclarationId(592), @@ -20107,7 +20107,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21574, 21600), + span: SourceSpan::new("dsl/std/types.dag", 21602, 21628), }); declarations.push(Declaration { id: DeclarationId(593), @@ -20121,7 +20121,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21605, 21611), + span: SourceSpan::new("dsl/std/types.dag", 21633, 21639), }); declarations.push(Declaration { id: DeclarationId(594), @@ -20140,7 +20140,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21803, 21813), + span: SourceSpan::new("dsl/std/types.dag", 21831, 21841), }); declarations.push(Declaration { id: DeclarationId(595), @@ -20159,7 +20159,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21938, 21945), + span: SourceSpan::new("dsl/std/types.dag", 21966, 21973), }); declarations.push(Declaration { id: DeclarationId(596), @@ -20179,7 +20179,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21985, 21997), + span: SourceSpan::new("dsl/std/types.dag", 22013, 22025), }); declarations.push(Declaration { id: DeclarationId(597), @@ -20198,7 +20198,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22012, 22016), + span: SourceSpan::new("dsl/std/types.dag", 22040, 22044), }); declarations.push(Declaration { id: DeclarationId(598), @@ -20218,7 +20218,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23367, 23385), + span: SourceSpan::new("dsl/std/types.dag", 23395, 23413), }); declarations.push(Declaration { id: DeclarationId(599), @@ -20238,7 +20238,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23478, 23499), + span: SourceSpan::new("dsl/std/types.dag", 23506, 23527), }); declarations.push(Declaration { id: DeclarationId(600), @@ -20257,7 +20257,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23783, 23790), + span: SourceSpan::new("dsl/std/types.dag", 23811, 23818), }); declarations.push(Declaration { id: DeclarationId(601), @@ -20277,7 +20277,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23823, 23838), + span: SourceSpan::new("dsl/std/types.dag", 23851, 23866), }); declarations.push(Declaration { id: DeclarationId(602), @@ -20297,7 +20297,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24127, 24145), + span: SourceSpan::new("dsl/std/types.dag", 24155, 24173), }); declarations.push(Declaration { id: DeclarationId(603), @@ -20317,7 +20317,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24155, 24173), + span: SourceSpan::new("dsl/std/types.dag", 24183, 24201), }); declarations.push(Declaration { id: DeclarationId(604), @@ -20337,7 +20337,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24195, 24207), + span: SourceSpan::new("dsl/std/types.dag", 24223, 24235), }); declarations.push(Declaration { id: DeclarationId(605), @@ -20356,7 +20356,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24295, 24302), + span: SourceSpan::new("dsl/std/types.dag", 24323, 24330), }); declarations.push(Declaration { id: DeclarationId(606), @@ -20375,7 +20375,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24389, 24396), + span: SourceSpan::new("dsl/std/types.dag", 24417, 24424), }); declarations.push(Declaration { id: DeclarationId(607), @@ -20395,7 +20395,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24424, 24436), + span: SourceSpan::new("dsl/std/types.dag", 24452, 24464), }); declarations.push(Declaration { id: DeclarationId(608), @@ -20415,7 +20415,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24448, 24460), + span: SourceSpan::new("dsl/std/types.dag", 24476, 24488), }); declarations.push(Declaration { id: DeclarationId(609), @@ -20435,7 +20435,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24472, 24484), + span: SourceSpan::new("dsl/std/types.dag", 24500, 24512), }); declarations.push(Declaration { id: DeclarationId(610), @@ -20454,7 +20454,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24619, 24634), + span: SourceSpan::new("dsl/std/types.dag", 24647, 24662), }); declarations.push(Declaration { id: DeclarationId(611), @@ -20473,7 +20473,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24645, 24658), + span: SourceSpan::new("dsl/std/types.dag", 24673, 24686), }); declarations.push(Declaration { id: DeclarationId(612), @@ -20492,7 +20492,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24674, 24687), + span: SourceSpan::new("dsl/std/types.dag", 24702, 24715), }); declarations.push(Declaration { id: DeclarationId(613), @@ -20506,7 +20506,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24713, 24717), + span: SourceSpan::new("dsl/std/types.dag", 24741, 24745), }); declarations.push(Declaration { id: DeclarationId(614), @@ -20520,7 +20520,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24720, 24722), + span: SourceSpan::new("dsl/std/types.dag", 24748, 24750), }); declarations.push(Declaration { id: DeclarationId(615), @@ -20534,7 +20534,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24725, 24726), + span: SourceSpan::new("dsl/std/types.dag", 24753, 24754), }); declarations.push(Declaration { id: DeclarationId(616), @@ -20548,7 +20548,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24729, 24733), + span: SourceSpan::new("dsl/std/types.dag", 24757, 24761), }); declarations.push(Declaration { id: DeclarationId(617), @@ -20567,7 +20567,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24797, 24804), + span: SourceSpan::new("dsl/std/types.dag", 24825, 24832), }); declarations.push(Declaration { id: DeclarationId(618), @@ -20689,7 +20689,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), }); declarations.push(Declaration { id: DeclarationId(623), @@ -20707,7 +20707,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), }); declarations.push(Declaration { id: DeclarationId(624), @@ -20725,7 +20725,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), }); declarations.push(Declaration { id: DeclarationId(625), @@ -20739,7 +20739,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11277, 11319), + span: SourceSpan::new("dsl/std/types.dag", 11305, 11347), }); declarations.push(Declaration { id: DeclarationId(626), @@ -20753,7 +20753,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11506, 11551), + span: SourceSpan::new("dsl/std/types.dag", 11534, 11579), }); declarations.push(Declaration { id: DeclarationId(627), @@ -20767,7 +20767,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11552, 11597), + span: SourceSpan::new("dsl/std/types.dag", 11580, 11625), }); declarations.push(Declaration { id: DeclarationId(628), @@ -20781,7 +20781,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11598, 11643), + span: SourceSpan::new("dsl/std/types.dag", 11626, 11671), }); declarations.push(Declaration { id: DeclarationId(629), @@ -20795,7 +20795,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12278, 12337), + span: SourceSpan::new("dsl/std/types.dag", 12306, 12365), }); declarations.push(Declaration { id: DeclarationId(630), @@ -20809,7 +20809,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12338, 12397), + span: SourceSpan::new("dsl/std/types.dag", 12366, 12425), }); declarations.push(Declaration { id: DeclarationId(631), @@ -20823,7 +20823,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12502, 12545), + span: SourceSpan::new("dsl/std/types.dag", 12530, 12573), }); declarations.push(Declaration { id: DeclarationId(632), @@ -20841,7 +20841,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13381, 13394), + span: SourceSpan::new("dsl/std/types.dag", 13409, 13422), }); declarations.push(Declaration { id: DeclarationId(633), @@ -20859,7 +20859,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13426, 13439), + span: SourceSpan::new("dsl/std/types.dag", 13454, 13467), }); declarations.push(Declaration { id: DeclarationId(634), @@ -20877,7 +20877,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13952, 13965), + span: SourceSpan::new("dsl/std/types.dag", 13980, 13993), }); declarations.push(Declaration { id: DeclarationId(635), @@ -20895,7 +20895,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13997, 14010), + span: SourceSpan::new("dsl/std/types.dag", 14025, 14038), }); declarations.push(Declaration { id: DeclarationId(636), @@ -20909,7 +20909,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14534, 14589), + span: SourceSpan::new("dsl/std/types.dag", 14562, 14617), }); declarations.push(Declaration { id: DeclarationId(637), @@ -20923,7 +20923,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14590, 14644), + span: SourceSpan::new("dsl/std/types.dag", 14618, 14672), }); declarations.push(Declaration { id: DeclarationId(638), @@ -20937,7 +20937,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14645, 14698), + span: SourceSpan::new("dsl/std/types.dag", 14673, 14726), }); declarations.push(Declaration { id: DeclarationId(639), @@ -20951,7 +20951,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14699, 14756), + span: SourceSpan::new("dsl/std/types.dag", 14727, 14784), }); declarations.push(Declaration { id: DeclarationId(640), @@ -20965,7 +20965,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14757, 14814), + span: SourceSpan::new("dsl/std/types.dag", 14785, 14842), }); declarations.push(Declaration { id: DeclarationId(641), @@ -20979,7 +20979,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14815, 14870), + span: SourceSpan::new("dsl/std/types.dag", 14843, 14898), }); declarations.push(Declaration { id: DeclarationId(642), @@ -20993,7 +20993,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14871, 14927), + span: SourceSpan::new("dsl/std/types.dag", 14899, 14955), }); declarations.push(Declaration { id: DeclarationId(643), @@ -21007,7 +21007,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14928, 14984), + span: SourceSpan::new("dsl/std/types.dag", 14956, 15012), }); declarations.push(Declaration { id: DeclarationId(644), @@ -21021,7 +21021,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14985, 15043), + span: SourceSpan::new("dsl/std/types.dag", 15013, 15071), }); declarations.push(Declaration { id: DeclarationId(645), @@ -21035,7 +21035,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15274, 15345), + span: SourceSpan::new("dsl/std/types.dag", 15302, 15373), }); declarations.push(Declaration { id: DeclarationId(646), @@ -21049,7 +21049,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15346, 15417), + span: SourceSpan::new("dsl/std/types.dag", 15374, 15445), }); declarations.push(Declaration { id: DeclarationId(647), @@ -21063,7 +21063,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15418, 15485), + span: SourceSpan::new("dsl/std/types.dag", 15446, 15513), }); declarations.push(Declaration { id: DeclarationId(648), @@ -21077,7 +21077,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15486, 15547), + span: SourceSpan::new("dsl/std/types.dag", 15514, 15575), }); declarations.push(Declaration { id: DeclarationId(649), @@ -21091,7 +21091,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15627, 15669), + span: SourceSpan::new("dsl/std/types.dag", 15655, 15697), }); declarations.push(Declaration { id: DeclarationId(650), @@ -21105,7 +21105,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16054, 16096), + span: SourceSpan::new("dsl/std/types.dag", 16082, 16124), }); declarations.push(Declaration { id: DeclarationId(651), @@ -21119,7 +21119,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22095, 22159), + span: SourceSpan::new("dsl/std/types.dag", 22123, 22187), }); declarations.push(Declaration { id: DeclarationId(652), @@ -21133,7 +21133,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22160, 22217), + span: SourceSpan::new("dsl/std/types.dag", 22188, 22245), }); declarations.push(Declaration { id: DeclarationId(653), @@ -21147,7 +21147,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22218, 22274), + span: SourceSpan::new("dsl/std/types.dag", 22246, 22302), }); declarations.push(Declaration { id: DeclarationId(654), @@ -21325,7 +21325,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 7546, 7570), + span: SourceSpan::new("dsl/std/types.dag", 7574, 7598), }); declarations.push(Declaration { id: DeclarationId(665), diff --git a/src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs b/src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs index 46c11c0ef93..ead8bcd2f87 100644 --- a/src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs +++ b/src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs @@ -59,7 +59,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { id: NodeId(3), data: LiteralBits::Int("1".to_string()), output: PortId(4), - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -67,13 +67,13 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(3), PortId(4)], output: PortId(5), - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), })); nodes.push(Behavior::Value(ValueNode { id: NodeId(5), data: LiteralBits::Int("5".to_string()), output: PortId(6), - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -81,21 +81,21 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Le)), inputs: vec![PortId(3), PortId(6)], output: PortId(7), - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), })); nodes.push(Behavior::Transform(TransformNode { id: NodeId(7), target: TransformTarget::Operator(OperatorKind::Logical(LogicalOp::And)), inputs: vec![PortId(5), PortId(7)], output: PortId(8), - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(8), name: "".to_string(), value: PortId(8), params: vec![PortId(3)], - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), lane2_workflow: None, emit_participation: None, })); @@ -103,7 +103,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { id: NodeId(9), data: LiteralBits::Int("100".to_string()), output: PortId(10), - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -111,13 +111,13 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(9), PortId(10)], output: PortId(11), - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), })); nodes.push(Behavior::Value(ValueNode { id: NodeId(11), data: LiteralBits::Int("599".to_string()), output: PortId(12), - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -125,21 +125,21 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Le)), inputs: vec![PortId(9), PortId(12)], output: PortId(13), - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), })); nodes.push(Behavior::Transform(TransformNode { id: NodeId(13), target: TransformTarget::Operator(OperatorKind::Logical(LogicalOp::And)), inputs: vec![PortId(11), PortId(13)], output: PortId(14), - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(14), name: "".to_string(), value: PortId(14), params: vec![PortId(9)], - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), lane2_workflow: None, emit_participation: None, })); @@ -147,7 +147,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { id: NodeId(15), data: LiteralBits::Int("1".to_string()), output: PortId(16), - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -155,13 +155,13 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(15), PortId(16)], output: PortId(17), - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), })); nodes.push(Behavior::Value(ValueNode { id: NodeId(17), data: LiteralBits::Int("65535".to_string()), output: PortId(18), - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -169,21 +169,21 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Le)), inputs: vec![PortId(15), PortId(18)], output: PortId(19), - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), })); nodes.push(Behavior::Transform(TransformNode { id: NodeId(19), target: TransformTarget::Operator(OperatorKind::Logical(LogicalOp::And)), inputs: vec![PortId(17), PortId(19)], output: PortId(20), - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(20), name: "".to_string(), value: PortId(20), params: vec![PortId(15)], - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), lane2_workflow: None, emit_participation: None, })); @@ -191,7 +191,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { id: NodeId(21), data: LiteralBits::Int("0".to_string()), output: PortId(22), - span: SourceSpan::new("dsl/std/types.dag", 13381, 13394), + span: SourceSpan::new("dsl/std/types.dag", 13409, 13422), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -199,14 +199,14 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(21), PortId(22)], output: PortId(23), - span: SourceSpan::new("dsl/std/types.dag", 13381, 13394), + span: SourceSpan::new("dsl/std/types.dag", 13409, 13422), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(23), name: "".to_string(), value: PortId(23), params: vec![PortId(21)], - span: SourceSpan::new("dsl/std/types.dag", 13381, 13394), + span: SourceSpan::new("dsl/std/types.dag", 13409, 13422), lane2_workflow: None, emit_participation: None, })); @@ -214,7 +214,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { id: NodeId(24), data: LiteralBits::Int("0".to_string()), output: PortId(25), - span: SourceSpan::new("dsl/std/types.dag", 13426, 13439), + span: SourceSpan::new("dsl/std/types.dag", 13454, 13467), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -222,14 +222,14 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(24), PortId(25)], output: PortId(26), - span: SourceSpan::new("dsl/std/types.dag", 13426, 13439), + span: SourceSpan::new("dsl/std/types.dag", 13454, 13467), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(26), name: "".to_string(), value: PortId(26), params: vec![PortId(24)], - span: SourceSpan::new("dsl/std/types.dag", 13426, 13439), + span: SourceSpan::new("dsl/std/types.dag", 13454, 13467), lane2_workflow: None, emit_participation: None, })); @@ -237,7 +237,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { id: NodeId(27), data: LiteralBits::Int("0".to_string()), output: PortId(28), - span: SourceSpan::new("dsl/std/types.dag", 13952, 13965), + span: SourceSpan::new("dsl/std/types.dag", 13980, 13993), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -245,14 +245,14 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(27), PortId(28)], output: PortId(29), - span: SourceSpan::new("dsl/std/types.dag", 13952, 13965), + span: SourceSpan::new("dsl/std/types.dag", 13980, 13993), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(29), name: "".to_string(), value: PortId(29), params: vec![PortId(27)], - span: SourceSpan::new("dsl/std/types.dag", 13952, 13965), + span: SourceSpan::new("dsl/std/types.dag", 13980, 13993), lane2_workflow: None, emit_participation: None, })); @@ -260,7 +260,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { id: NodeId(30), data: LiteralBits::Int("0".to_string()), output: PortId(31), - span: SourceSpan::new("dsl/std/types.dag", 13997, 14010), + span: SourceSpan::new("dsl/std/types.dag", 14025, 14038), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -268,14 +268,14 @@ fn bootstrapped_fixture_without_parse_surface_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(30), PortId(31)], output: PortId(32), - span: SourceSpan::new("dsl/std/types.dag", 13997, 14010), + span: SourceSpan::new("dsl/std/types.dag", 14025, 14038), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(32), name: "".to_string(), value: PortId(32), params: vec![PortId(30)], - span: SourceSpan::new("dsl/std/types.dag", 13997, 14010), + span: SourceSpan::new("dsl/std/types.dag", 14025, 14038), lane2_workflow: None, emit_participation: None, })); @@ -10662,7 +10662,7 @@ fn bootstrapped_fixture_without_parse_surface_dag_declarations() -> Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec Vec { id: NodeId(3), data: LiteralBits::Int("1".to_string()), output: PortId(4), - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -67,13 +67,13 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(3), PortId(4)], output: PortId(5), - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), })); nodes.push(Behavior::Value(ValueNode { id: NodeId(5), data: LiteralBits::Int("5".to_string()), output: PortId(6), - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -81,21 +81,21 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Le)), inputs: vec![PortId(3), PortId(6)], output: PortId(7), - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), })); nodes.push(Behavior::Transform(TransformNode { id: NodeId(7), target: TransformTarget::Operator(OperatorKind::Logical(LogicalOp::And)), inputs: vec![PortId(5), PortId(7)], output: PortId(8), - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(8), name: "".to_string(), value: PortId(8), params: vec![PortId(3)], - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), lane2_workflow: None, emit_participation: None, })); @@ -103,7 +103,7 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { id: NodeId(9), data: LiteralBits::Int("100".to_string()), output: PortId(10), - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -111,13 +111,13 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(9), PortId(10)], output: PortId(11), - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), })); nodes.push(Behavior::Value(ValueNode { id: NodeId(11), data: LiteralBits::Int("599".to_string()), output: PortId(12), - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -125,21 +125,21 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Le)), inputs: vec![PortId(9), PortId(12)], output: PortId(13), - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), })); nodes.push(Behavior::Transform(TransformNode { id: NodeId(13), target: TransformTarget::Operator(OperatorKind::Logical(LogicalOp::And)), inputs: vec![PortId(11), PortId(13)], output: PortId(14), - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(14), name: "".to_string(), value: PortId(14), params: vec![PortId(9)], - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), lane2_workflow: None, emit_participation: None, })); @@ -147,7 +147,7 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { id: NodeId(15), data: LiteralBits::Int("1".to_string()), output: PortId(16), - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -155,13 +155,13 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(15), PortId(16)], output: PortId(17), - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), })); nodes.push(Behavior::Value(ValueNode { id: NodeId(17), data: LiteralBits::Int("65535".to_string()), output: PortId(18), - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -169,21 +169,21 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Le)), inputs: vec![PortId(15), PortId(18)], output: PortId(19), - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), })); nodes.push(Behavior::Transform(TransformNode { id: NodeId(19), target: TransformTarget::Operator(OperatorKind::Logical(LogicalOp::And)), inputs: vec![PortId(17), PortId(19)], output: PortId(20), - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(20), name: "".to_string(), value: PortId(20), params: vec![PortId(15)], - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), lane2_workflow: None, emit_participation: None, })); @@ -191,7 +191,7 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { id: NodeId(21), data: LiteralBits::Int("0".to_string()), output: PortId(22), - span: SourceSpan::new("dsl/std/types.dag", 13381, 13394), + span: SourceSpan::new("dsl/std/types.dag", 13409, 13422), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -199,14 +199,14 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(21), PortId(22)], output: PortId(23), - span: SourceSpan::new("dsl/std/types.dag", 13381, 13394), + span: SourceSpan::new("dsl/std/types.dag", 13409, 13422), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(23), name: "".to_string(), value: PortId(23), params: vec![PortId(21)], - span: SourceSpan::new("dsl/std/types.dag", 13381, 13394), + span: SourceSpan::new("dsl/std/types.dag", 13409, 13422), lane2_workflow: None, emit_participation: None, })); @@ -214,7 +214,7 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { id: NodeId(24), data: LiteralBits::Int("0".to_string()), output: PortId(25), - span: SourceSpan::new("dsl/std/types.dag", 13426, 13439), + span: SourceSpan::new("dsl/std/types.dag", 13454, 13467), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -222,14 +222,14 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(24), PortId(25)], output: PortId(26), - span: SourceSpan::new("dsl/std/types.dag", 13426, 13439), + span: SourceSpan::new("dsl/std/types.dag", 13454, 13467), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(26), name: "".to_string(), value: PortId(26), params: vec![PortId(24)], - span: SourceSpan::new("dsl/std/types.dag", 13426, 13439), + span: SourceSpan::new("dsl/std/types.dag", 13454, 13467), lane2_workflow: None, emit_participation: None, })); @@ -237,7 +237,7 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { id: NodeId(27), data: LiteralBits::Int("0".to_string()), output: PortId(28), - span: SourceSpan::new("dsl/std/types.dag", 13952, 13965), + span: SourceSpan::new("dsl/std/types.dag", 13980, 13993), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -245,14 +245,14 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(27), PortId(28)], output: PortId(29), - span: SourceSpan::new("dsl/std/types.dag", 13952, 13965), + span: SourceSpan::new("dsl/std/types.dag", 13980, 13993), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(29), name: "".to_string(), value: PortId(29), params: vec![PortId(27)], - span: SourceSpan::new("dsl/std/types.dag", 13952, 13965), + span: SourceSpan::new("dsl/std/types.dag", 13980, 13993), lane2_workflow: None, emit_participation: None, })); @@ -260,7 +260,7 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { id: NodeId(30), data: LiteralBits::Int("0".to_string()), output: PortId(31), - span: SourceSpan::new("dsl/std/types.dag", 13997, 14010), + span: SourceSpan::new("dsl/std/types.dag", 14025, 14038), lane2_workflow: None, })); nodes.push(Behavior::Transform(TransformNode { @@ -268,14 +268,14 @@ fn bootstrapped_std_fixture_dag_nodes() -> Vec { target: TransformTarget::Operator(OperatorKind::Comparison(ComparisonOp::Ge)), inputs: vec![PortId(30), PortId(31)], output: PortId(32), - span: SourceSpan::new("dsl/std/types.dag", 13997, 14010), + span: SourceSpan::new("dsl/std/types.dag", 14025, 14038), })); nodes.push(Behavior::Bind(BindNode { id: NodeId(32), name: "".to_string(), value: PortId(32), params: vec![PortId(30)], - span: SourceSpan::new("dsl/std/types.dag", 13997, 14010), + span: SourceSpan::new("dsl/std/types.dag", 14025, 14038), lane2_workflow: None, emit_participation: None, })); @@ -3354,7 +3354,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 7546, 7570), + span: SourceSpan::new("dsl/std/types.dag", 7574, 7598), }); declarations.push(Declaration { id: DeclarationId(127), @@ -3368,7 +3368,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 7638, 7647), + span: SourceSpan::new("dsl/std/types.dag", 7666, 7675), }); declarations.push(Declaration { id: DeclarationId(128), @@ -3382,7 +3382,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 7764, 7773), + span: SourceSpan::new("dsl/std/types.dag", 7792, 7801), }); declarations.push(Declaration { id: DeclarationId(129), @@ -3396,7 +3396,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 7774, 7784), + span: SourceSpan::new("dsl/std/types.dag", 7802, 7812), }); declarations.push(Declaration { id: DeclarationId(130), @@ -3413,7 +3413,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 8475, 8490), + span: SourceSpan::new("dsl/std/types.dag", 8503, 8518), }); declarations.push(Declaration { id: DeclarationId(131), @@ -3433,7 +3433,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 9254, 9294), + span: SourceSpan::new("dsl/std/types.dag", 9282, 9322), }); declarations.push(Declaration { id: DeclarationId(132), @@ -3447,7 +3447,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 9254, 9294), + span: SourceSpan::new("dsl/std/types.dag", 9282, 9322), }); declarations.push(Declaration { id: DeclarationId(133), @@ -3467,7 +3467,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 9295, 9338), + span: SourceSpan::new("dsl/std/types.dag", 9323, 9366), }); declarations.push(Declaration { id: DeclarationId(134), @@ -3481,7 +3481,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 9295, 9338), + span: SourceSpan::new("dsl/std/types.dag", 9323, 9366), }); declarations.push(Declaration { id: DeclarationId(135), @@ -3507,7 +3507,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 9339, 9389), + span: SourceSpan::new("dsl/std/types.dag", 9367, 9417), }); declarations.push(Declaration { id: DeclarationId(136), @@ -3521,7 +3521,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 9339, 9389), + span: SourceSpan::new("dsl/std/types.dag", 9367, 9417), }); declarations.push(Declaration { id: DeclarationId(137), @@ -3535,7 +3535,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 9339, 9389), + span: SourceSpan::new("dsl/std/types.dag", 9367, 9417), }); declarations.push(Declaration { id: DeclarationId(138), @@ -3552,7 +3552,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 10735, 10761), + span: SourceSpan::new("dsl/std/types.dag", 10763, 10789), }); declarations.push(Declaration { id: DeclarationId(139), @@ -3569,7 +3569,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 10829, 10855), + span: SourceSpan::new("dsl/std/types.dag", 10857, 10883), }); declarations.push(Declaration { id: DeclarationId(140), @@ -3583,7 +3583,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(622)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 10856, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10884, 10935), }); declarations.push(Declaration { id: DeclarationId(141), @@ -3597,7 +3597,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(623)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 10908, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10936, 10991), }); declarations.push(Declaration { id: DeclarationId(142), @@ -3614,7 +3614,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11037, 11063), + span: SourceSpan::new("dsl/std/types.dag", 11065, 11091), }); declarations.push(Declaration { id: DeclarationId(143), @@ -3628,7 +3628,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(624)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11064, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11092, 11147), }); declarations.push(Declaration { id: DeclarationId(144), @@ -3645,7 +3645,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11208, 11234), + span: SourceSpan::new("dsl/std/types.dag", 11236, 11262), }); declarations.push(Declaration { id: DeclarationId(145), @@ -3664,7 +3664,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { nominal_opacity: Some(NominalOpacity { permitted_accessors: vec![], }), - span: SourceSpan::new("dsl/std/types.dag", 11235, 11276), + span: SourceSpan::new("dsl/std/types.dag", 11263, 11304), }); declarations.push(Declaration { id: DeclarationId(146), @@ -3678,7 +3678,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(625)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11277, 11319), + span: SourceSpan::new("dsl/std/types.dag", 11305, 11347), }); declarations.push(Declaration { id: DeclarationId(147), @@ -3695,7 +3695,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11380, 11406), + span: SourceSpan::new("dsl/std/types.dag", 11408, 11434), }); declarations.push(Declaration { id: DeclarationId(148), @@ -3712,7 +3712,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11479, 11505), + span: SourceSpan::new("dsl/std/types.dag", 11507, 11533), }); declarations.push(Declaration { id: DeclarationId(149), @@ -3726,7 +3726,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(626)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11506, 11551), + span: SourceSpan::new("dsl/std/types.dag", 11534, 11579), }); declarations.push(Declaration { id: DeclarationId(150), @@ -3740,7 +3740,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(627)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11552, 11597), + span: SourceSpan::new("dsl/std/types.dag", 11580, 11625), }); declarations.push(Declaration { id: DeclarationId(151), @@ -3754,7 +3754,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(628)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11598, 11643), + span: SourceSpan::new("dsl/std/types.dag", 11626, 11671), }); declarations.push(Declaration { id: DeclarationId(152), @@ -3768,7 +3768,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(629)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12278, 12337), + span: SourceSpan::new("dsl/std/types.dag", 12306, 12365), }); declarations.push(Declaration { id: DeclarationId(153), @@ -3782,7 +3782,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(630)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12338, 12397), + span: SourceSpan::new("dsl/std/types.dag", 12366, 12425), }); declarations.push(Declaration { id: DeclarationId(154), @@ -3801,7 +3801,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12398, 12450), + span: SourceSpan::new("dsl/std/types.dag", 12426, 12478), }); declarations.push(Declaration { id: DeclarationId(155), @@ -3820,7 +3820,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12451, 12501), + span: SourceSpan::new("dsl/std/types.dag", 12479, 12529), }); declarations.push(Declaration { id: DeclarationId(156), @@ -3834,7 +3834,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(631)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12502, 12545), + span: SourceSpan::new("dsl/std/types.dag", 12530, 12573), }); declarations.push(Declaration { id: DeclarationId(157), @@ -3863,7 +3863,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13163, 13223), + span: SourceSpan::new("dsl/std/types.dag", 13191, 13251), }); declarations.push(Declaration { id: DeclarationId(158), @@ -3880,7 +3880,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13323, 13349), + span: SourceSpan::new("dsl/std/types.dag", 13351, 13377), }); declarations.push(Declaration { id: DeclarationId(159), @@ -3894,7 +3894,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(632)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13350, 13394), + span: SourceSpan::new("dsl/std/types.dag", 13378, 13422), }); declarations.push(Declaration { id: DeclarationId(160), @@ -3908,7 +3908,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(633)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13395, 13439), + span: SourceSpan::new("dsl/std/types.dag", 13423, 13467), }); declarations.push(Declaration { id: DeclarationId(161), @@ -3922,7 +3922,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(634)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13921, 13965), + span: SourceSpan::new("dsl/std/types.dag", 13949, 13993), }); declarations.push(Declaration { id: DeclarationId(162), @@ -3936,7 +3936,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(635)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13966, 14010), + span: SourceSpan::new("dsl/std/types.dag", 13994, 14038), }); declarations.push(Declaration { id: DeclarationId(163), @@ -3950,7 +3950,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(636)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14534, 14589), + span: SourceSpan::new("dsl/std/types.dag", 14562, 14617), }); declarations.push(Declaration { id: DeclarationId(164), @@ -3964,7 +3964,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(637)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14590, 14644), + span: SourceSpan::new("dsl/std/types.dag", 14618, 14672), }); declarations.push(Declaration { id: DeclarationId(165), @@ -3978,7 +3978,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(638)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14645, 14698), + span: SourceSpan::new("dsl/std/types.dag", 14673, 14726), }); declarations.push(Declaration { id: DeclarationId(166), @@ -3992,7 +3992,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(639)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14699, 14756), + span: SourceSpan::new("dsl/std/types.dag", 14727, 14784), }); declarations.push(Declaration { id: DeclarationId(167), @@ -4006,7 +4006,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(640)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14757, 14814), + span: SourceSpan::new("dsl/std/types.dag", 14785, 14842), }); declarations.push(Declaration { id: DeclarationId(168), @@ -4020,7 +4020,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(641)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14815, 14870), + span: SourceSpan::new("dsl/std/types.dag", 14843, 14898), }); declarations.push(Declaration { id: DeclarationId(169), @@ -4034,7 +4034,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(642)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14871, 14927), + span: SourceSpan::new("dsl/std/types.dag", 14899, 14955), }); declarations.push(Declaration { id: DeclarationId(170), @@ -4048,7 +4048,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(643)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14928, 14984), + span: SourceSpan::new("dsl/std/types.dag", 14956, 15012), }); declarations.push(Declaration { id: DeclarationId(171), @@ -4062,7 +4062,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(644)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14985, 15043), + span: SourceSpan::new("dsl/std/types.dag", 15013, 15071), }); declarations.push(Declaration { id: DeclarationId(172), @@ -4076,7 +4076,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(645)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15274, 15345), + span: SourceSpan::new("dsl/std/types.dag", 15302, 15373), }); declarations.push(Declaration { id: DeclarationId(173), @@ -4090,7 +4090,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(646)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15346, 15417), + span: SourceSpan::new("dsl/std/types.dag", 15374, 15445), }); declarations.push(Declaration { id: DeclarationId(174), @@ -4104,7 +4104,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(647)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15418, 15485), + span: SourceSpan::new("dsl/std/types.dag", 15446, 15513), }); declarations.push(Declaration { id: DeclarationId(175), @@ -4118,7 +4118,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(648)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15486, 15547), + span: SourceSpan::new("dsl/std/types.dag", 15514, 15575), }); declarations.push(Declaration { id: DeclarationId(176), @@ -4132,7 +4132,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(649)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15627, 15669), + span: SourceSpan::new("dsl/std/types.dag", 15655, 15697), }); declarations.push(Declaration { id: DeclarationId(177), @@ -4146,7 +4146,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(650)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16054, 16096), + span: SourceSpan::new("dsl/std/types.dag", 16082, 16124), }); declarations.push(Declaration { id: DeclarationId(178), @@ -4163,7 +4163,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16221, 16254), + span: SourceSpan::new("dsl/std/types.dag", 16249, 16282), }); declarations.push(Declaration { id: DeclarationId(179), @@ -4192,7 +4192,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16640, 16683), + span: SourceSpan::new("dsl/std/types.dag", 16668, 16711), }); declarations.push(Declaration { id: DeclarationId(180), @@ -4225,7 +4225,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16811, 16866), + span: SourceSpan::new("dsl/std/types.dag", 16839, 16894), }); declarations.push(Declaration { id: DeclarationId(181), @@ -4254,7 +4254,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16867, 16920), + span: SourceSpan::new("dsl/std/types.dag", 16895, 16948), }); declarations.push(Declaration { id: DeclarationId(182), @@ -4291,7 +4291,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16922, 16959), + span: SourceSpan::new("dsl/std/types.dag", 16950, 16987), }); declarations.push(Declaration { id: DeclarationId(183), @@ -4328,7 +4328,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17207, 17529), + span: SourceSpan::new("dsl/std/types.dag", 17235, 17557), }); declarations.push(Declaration { id: DeclarationId(184), @@ -4389,7 +4389,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17604, 17707), + span: SourceSpan::new("dsl/std/types.dag", 17632, 17735), }); declarations.push(Declaration { id: DeclarationId(185), @@ -4422,7 +4422,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17708, 17754), + span: SourceSpan::new("dsl/std/types.dag", 17736, 17782), }); declarations.push(Declaration { id: DeclarationId(186), @@ -4467,7 +4467,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17755, 17821), + span: SourceSpan::new("dsl/std/types.dag", 17783, 17849), }); declarations.push(Declaration { id: DeclarationId(187), @@ -4520,7 +4520,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17822, 17914), + span: SourceSpan::new("dsl/std/types.dag", 17850, 17942), }); declarations.push(Declaration { id: DeclarationId(188), @@ -4557,7 +4557,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17915, 17975), + span: SourceSpan::new("dsl/std/types.dag", 17943, 18003), }); declarations.push(Declaration { id: DeclarationId(189), @@ -4590,7 +4590,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17977, 18052), + span: SourceSpan::new("dsl/std/types.dag", 18005, 18080), }); declarations.push(Declaration { id: DeclarationId(190), @@ -4615,7 +4615,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18054, 18119), + span: SourceSpan::new("dsl/std/types.dag", 18082, 18147), }); declarations.push(Declaration { id: DeclarationId(191), @@ -4652,7 +4652,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18428, 18506), + span: SourceSpan::new("dsl/std/types.dag", 18456, 18534), }); declarations.push(Declaration { id: DeclarationId(192), @@ -4681,7 +4681,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18636, 18694), + span: SourceSpan::new("dsl/std/types.dag", 18664, 18722), }); declarations.push(Declaration { id: DeclarationId(193), @@ -4698,7 +4698,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 19855, 19885), + span: SourceSpan::new("dsl/std/types.dag", 19883, 19913), }); declarations.push(Declaration { id: DeclarationId(194), @@ -4715,7 +4715,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 19966, 19996), + span: SourceSpan::new("dsl/std/types.dag", 19994, 20024), }); declarations.push(Declaration { id: DeclarationId(195), @@ -4732,7 +4732,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 20213, 20235), + span: SourceSpan::new("dsl/std/types.dag", 20241, 20263), }); declarations.push(Declaration { id: DeclarationId(196), @@ -4777,7 +4777,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 20979, 21047), + span: SourceSpan::new("dsl/std/types.dag", 21007, 21075), }); declarations.push(Declaration { id: DeclarationId(197), @@ -4810,7 +4810,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21515, 21611), + span: SourceSpan::new("dsl/std/types.dag", 21543, 21639), }); declarations.push(Declaration { id: DeclarationId(198), @@ -4839,7 +4839,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21733, 21866), + span: SourceSpan::new("dsl/std/types.dag", 21761, 21894), }); declarations.push(Declaration { id: DeclarationId(199), @@ -4880,7 +4880,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21868, 22018), + span: SourceSpan::new("dsl/std/types.dag", 21896, 22046), }); declarations.push(Declaration { id: DeclarationId(200), @@ -4894,7 +4894,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(651)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22095, 22159), + span: SourceSpan::new("dsl/std/types.dag", 22123, 22187), }); declarations.push(Declaration { id: DeclarationId(201), @@ -4908,7 +4908,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(652)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22160, 22217), + span: SourceSpan::new("dsl/std/types.dag", 22188, 22245), }); declarations.push(Declaration { id: DeclarationId(202), @@ -4922,7 +4922,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: Some(DeclarationId(653)), nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22218, 22274), + span: SourceSpan::new("dsl/std/types.dag", 22246, 22302), }); declarations.push(Declaration { id: DeclarationId(203), @@ -4955,7 +4955,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22351, 22442), + span: SourceSpan::new("dsl/std/types.dag", 22379, 22470), }); declarations.push(Declaration { id: DeclarationId(204), @@ -4984,7 +4984,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22444, 22515), + span: SourceSpan::new("dsl/std/types.dag", 22472, 22543), }); declarations.push(Declaration { id: DeclarationId(205), @@ -5013,7 +5013,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22517, 22587), + span: SourceSpan::new("dsl/std/types.dag", 22545, 22615), }); declarations.push(Declaration { id: DeclarationId(206), @@ -5042,7 +5042,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22589, 22662), + span: SourceSpan::new("dsl/std/types.dag", 22617, 22690), }); declarations.push(Declaration { id: DeclarationId(207), @@ -5071,7 +5071,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22664, 22728), + span: SourceSpan::new("dsl/std/types.dag", 22692, 22756), }); declarations.push(Declaration { id: DeclarationId(208), @@ -5108,7 +5108,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22805, 22912), + span: SourceSpan::new("dsl/std/types.dag", 22833, 22940), }); declarations.push(Declaration { id: DeclarationId(209), @@ -5137,7 +5137,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22914, 22971), + span: SourceSpan::new("dsl/std/types.dag", 22942, 22999), }); declarations.push(Declaration { id: DeclarationId(210), @@ -5174,7 +5174,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22973, 23074), + span: SourceSpan::new("dsl/std/types.dag", 23001, 23102), }); declarations.push(Declaration { id: DeclarationId(211), @@ -5203,7 +5203,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23227, 23299), + span: SourceSpan::new("dsl/std/types.dag", 23255, 23327), }); declarations.push(Declaration { id: DeclarationId(212), @@ -5232,7 +5232,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23301, 23387), + span: SourceSpan::new("dsl/std/types.dag", 23329, 23415), }); declarations.push(Declaration { id: DeclarationId(213), @@ -5269,7 +5269,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23389, 23526), + span: SourceSpan::new("dsl/std/types.dag", 23417, 23554), }); declarations.push(Declaration { id: DeclarationId(214), @@ -5294,7 +5294,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23528, 23581), + span: SourceSpan::new("dsl/std/types.dag", 23556, 23609), }); declarations.push(Declaration { id: DeclarationId(215), @@ -5319,7 +5319,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23583, 23641), + span: SourceSpan::new("dsl/std/types.dag", 23611, 23669), }); declarations.push(Declaration { id: DeclarationId(216), @@ -5348,7 +5348,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23718, 23792), + span: SourceSpan::new("dsl/std/types.dag", 23746, 23820), }); declarations.push(Declaration { id: DeclarationId(217), @@ -5367,7 +5367,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23794, 23840), + span: SourceSpan::new("dsl/std/types.dag", 23822, 23868), }); declarations.push(Declaration { id: DeclarationId(218), @@ -5396,7 +5396,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24099, 24209), + span: SourceSpan::new("dsl/std/types.dag", 24127, 24237), }); declarations.push(Declaration { id: DeclarationId(219), @@ -5429,7 +5429,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24211, 24331), + span: SourceSpan::new("dsl/std/types.dag", 24239, 24359), }); declarations.push(Declaration { id: DeclarationId(220), @@ -5458,7 +5458,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24333, 24398), + span: SourceSpan::new("dsl/std/types.dag", 24361, 24426), }); declarations.push(Declaration { id: DeclarationId(221), @@ -5487,7 +5487,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24400, 24486), + span: SourceSpan::new("dsl/std/types.dag", 24428, 24514), }); declarations.push(Declaration { id: DeclarationId(222), @@ -5524,7 +5524,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24555, 24689), + span: SourceSpan::new("dsl/std/types.dag", 24583, 24717), }); declarations.push(Declaration { id: DeclarationId(223), @@ -5557,7 +5557,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24691, 24733), + span: SourceSpan::new("dsl/std/types.dag", 24719, 24761), }); declarations.push(Declaration { id: DeclarationId(224), @@ -5586,7 +5586,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24735, 24806), + span: SourceSpan::new("dsl/std/types.dag", 24763, 24834), }); declarations.push(Declaration { id: DeclarationId(225), @@ -5611,7 +5611,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24947, 25004), + span: SourceSpan::new("dsl/std/types.dag", 24975, 25032), }); declarations.push(Declaration { id: DeclarationId(226), @@ -5625,7 +5625,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 26938, 26957), + span: SourceSpan::new("dsl/std/types.dag", 26966, 26985), }); declarations.push(Declaration { id: DeclarationId(227), @@ -5639,7 +5639,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 26938, 26957), + span: SourceSpan::new("dsl/std/types.dag", 26966, 26985), }); declarations.push(Declaration { id: DeclarationId(228), @@ -11566,7 +11566,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 7558, 7562), + span: SourceSpan::new("dsl/std/types.dag", 7586, 7590), }); declarations.push(Declaration { id: DeclarationId(511), @@ -11580,7 +11580,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 7565, 7570), + span: SourceSpan::new("dsl/std/types.dag", 7593, 7598), }); declarations.push(Declaration { id: DeclarationId(512), @@ -11600,7 +11600,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12431, 12448), + span: SourceSpan::new("dsl/std/types.dag", 12459, 12476), }); declarations.push(Declaration { id: DeclarationId(513), @@ -11620,7 +11620,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12482, 12499), + span: SourceSpan::new("dsl/std/types.dag", 12510, 12527), }); declarations.push(Declaration { id: DeclarationId(514), @@ -11634,7 +11634,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16660, 16665), + span: SourceSpan::new("dsl/std/types.dag", 16688, 16693), }); declarations.push(Declaration { id: DeclarationId(515), @@ -11648,7 +11648,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16668, 16673), + span: SourceSpan::new("dsl/std/types.dag", 16696, 16701), }); declarations.push(Declaration { id: DeclarationId(516), @@ -11662,7 +11662,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16676, 16683), + span: SourceSpan::new("dsl/std/types.dag", 16704, 16711), }); declarations.push(Declaration { id: DeclarationId(517), @@ -11676,7 +11676,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16835, 16839), + span: SourceSpan::new("dsl/std/types.dag", 16863, 16867), }); declarations.push(Declaration { id: DeclarationId(518), @@ -11690,7 +11690,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16842, 16851), + span: SourceSpan::new("dsl/std/types.dag", 16870, 16879), }); declarations.push(Declaration { id: DeclarationId(519), @@ -11704,7 +11704,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16854, 16860), + span: SourceSpan::new("dsl/std/types.dag", 16882, 16888), }); declarations.push(Declaration { id: DeclarationId(520), @@ -11718,7 +11718,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16863, 16866), + span: SourceSpan::new("dsl/std/types.dag", 16891, 16894), }); declarations.push(Declaration { id: DeclarationId(521), @@ -11732,7 +11732,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16891, 16899), + span: SourceSpan::new("dsl/std/types.dag", 16919, 16927), }); declarations.push(Declaration { id: DeclarationId(522), @@ -11746,7 +11746,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16902, 16911), + span: SourceSpan::new("dsl/std/types.dag", 16930, 16939), }); declarations.push(Declaration { id: DeclarationId(523), @@ -11760,7 +11760,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16914, 16920), + span: SourceSpan::new("dsl/std/types.dag", 16942, 16948), }); declarations.push(Declaration { id: DeclarationId(524), @@ -11774,7 +11774,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16940, 16942), + span: SourceSpan::new("dsl/std/types.dag", 16968, 16970), }); declarations.push(Declaration { id: DeclarationId(525), @@ -11788,7 +11788,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16945, 16946), + span: SourceSpan::new("dsl/std/types.dag", 16973, 16974), }); declarations.push(Declaration { id: DeclarationId(526), @@ -11802,7 +11802,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16949, 16950), + span: SourceSpan::new("dsl/std/types.dag", 16977, 16978), }); declarations.push(Declaration { id: DeclarationId(527), @@ -11816,7 +11816,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16953, 16954), + span: SourceSpan::new("dsl/std/types.dag", 16981, 16982), }); declarations.push(Declaration { id: DeclarationId(528), @@ -11830,7 +11830,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16957, 16959), + span: SourceSpan::new("dsl/std/types.dag", 16985, 16987), }); declarations.push(Declaration { id: DeclarationId(529), @@ -11849,7 +11849,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17231, 17266), + span: SourceSpan::new("dsl/std/types.dag", 17259, 17294), }); declarations.push(Declaration { id: DeclarationId(530), @@ -11868,7 +11868,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17271, 17312), + span: SourceSpan::new("dsl/std/types.dag", 17299, 17340), }); declarations.push(Declaration { id: DeclarationId(531), @@ -11887,7 +11887,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17387, 17407), + span: SourceSpan::new("dsl/std/types.dag", 17415, 17435), }); declarations.push(Declaration { id: DeclarationId(532), @@ -11907,7 +11907,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17422, 17434), + span: SourceSpan::new("dsl/std/types.dag", 17450, 17462), }); declarations.push(Declaration { id: DeclarationId(533), @@ -11936,7 +11936,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17317, 17440), + span: SourceSpan::new("dsl/std/types.dag", 17345, 17468), }); declarations.push(Declaration { id: DeclarationId(534), @@ -11956,7 +11956,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17471, 17483), + span: SourceSpan::new("dsl/std/types.dag", 17499, 17511), }); declarations.push(Declaration { id: DeclarationId(535), @@ -11975,7 +11975,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17445, 17485), + span: SourceSpan::new("dsl/std/types.dag", 17473, 17513), }); declarations.push(Declaration { id: DeclarationId(536), @@ -11995,7 +11995,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17507, 17527), + span: SourceSpan::new("dsl/std/types.dag", 17535, 17555), }); declarations.push(Declaration { id: DeclarationId(537), @@ -12014,7 +12014,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17490, 17529), + span: SourceSpan::new("dsl/std/types.dag", 17518, 17557), }); declarations.push(Declaration { id: DeclarationId(538), @@ -12028,7 +12028,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17616, 17622), + span: SourceSpan::new("dsl/std/types.dag", 17644, 17650), }); declarations.push(Declaration { id: DeclarationId(539), @@ -12042,7 +12042,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17625, 17628), + span: SourceSpan::new("dsl/std/types.dag", 17653, 17656), }); declarations.push(Declaration { id: DeclarationId(540), @@ -12056,7 +12056,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17631, 17638), + span: SourceSpan::new("dsl/std/types.dag", 17659, 17666), }); declarations.push(Declaration { id: DeclarationId(541), @@ -12070,7 +12070,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17641, 17644), + span: SourceSpan::new("dsl/std/types.dag", 17669, 17672), }); declarations.push(Declaration { id: DeclarationId(542), @@ -12084,7 +12084,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17647, 17652), + span: SourceSpan::new("dsl/std/types.dag", 17675, 17680), }); declarations.push(Declaration { id: DeclarationId(543), @@ -12098,7 +12098,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17655, 17659), + span: SourceSpan::new("dsl/std/types.dag", 17683, 17687), }); declarations.push(Declaration { id: DeclarationId(544), @@ -12112,7 +12112,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17662, 17668), + span: SourceSpan::new("dsl/std/types.dag", 17690, 17696), }); declarations.push(Declaration { id: DeclarationId(545), @@ -12126,7 +12126,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17671, 17677), + span: SourceSpan::new("dsl/std/types.dag", 17699, 17705), }); declarations.push(Declaration { id: DeclarationId(546), @@ -12140,7 +12140,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17680, 17688), + span: SourceSpan::new("dsl/std/types.dag", 17708, 17716), }); declarations.push(Declaration { id: DeclarationId(547), @@ -12154,7 +12154,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17691, 17698), + span: SourceSpan::new("dsl/std/types.dag", 17719, 17726), }); declarations.push(Declaration { id: DeclarationId(548), @@ -12168,7 +12168,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17701, 17707), + span: SourceSpan::new("dsl/std/types.dag", 17729, 17735), }); declarations.push(Declaration { id: DeclarationId(549), @@ -12182,7 +12182,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17722, 17735), + span: SourceSpan::new("dsl/std/types.dag", 17750, 17763), }); declarations.push(Declaration { id: DeclarationId(550), @@ -12196,7 +12196,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17738, 17740), + span: SourceSpan::new("dsl/std/types.dag", 17766, 17768), }); declarations.push(Declaration { id: DeclarationId(551), @@ -12210,7 +12210,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17743, 17748), + span: SourceSpan::new("dsl/std/types.dag", 17771, 17776), }); declarations.push(Declaration { id: DeclarationId(552), @@ -12224,7 +12224,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17751, 17754), + span: SourceSpan::new("dsl/std/types.dag", 17779, 17782), }); declarations.push(Declaration { id: DeclarationId(553), @@ -12238,7 +12238,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17765, 17770), + span: SourceSpan::new("dsl/std/types.dag", 17793, 17798), }); declarations.push(Declaration { id: DeclarationId(554), @@ -12252,7 +12252,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17773, 17778), + span: SourceSpan::new("dsl/std/types.dag", 17801, 17806), }); declarations.push(Declaration { id: DeclarationId(555), @@ -12266,7 +12266,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17781, 17788), + span: SourceSpan::new("dsl/std/types.dag", 17809, 17816), }); declarations.push(Declaration { id: DeclarationId(556), @@ -12280,7 +12280,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17791, 17798), + span: SourceSpan::new("dsl/std/types.dag", 17819, 17826), }); declarations.push(Declaration { id: DeclarationId(557), @@ -12294,7 +12294,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17801, 17808), + span: SourceSpan::new("dsl/std/types.dag", 17829, 17836), }); declarations.push(Declaration { id: DeclarationId(558), @@ -12308,7 +12308,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17811, 17814), + span: SourceSpan::new("dsl/std/types.dag", 17839, 17842), }); declarations.push(Declaration { id: DeclarationId(559), @@ -12322,7 +12322,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17817, 17821), + span: SourceSpan::new("dsl/std/types.dag", 17845, 17849), }); declarations.push(Declaration { id: DeclarationId(560), @@ -12336,7 +12336,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17836, 17843), + span: SourceSpan::new("dsl/std/types.dag", 17864, 17871), }); declarations.push(Declaration { id: DeclarationId(561), @@ -12350,7 +12350,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17846, 17849), + span: SourceSpan::new("dsl/std/types.dag", 17874, 17877), }); declarations.push(Declaration { id: DeclarationId(562), @@ -12364,7 +12364,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17852, 17859), + span: SourceSpan::new("dsl/std/types.dag", 17880, 17887), }); declarations.push(Declaration { id: DeclarationId(563), @@ -12378,7 +12378,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17862, 17871), + span: SourceSpan::new("dsl/std/types.dag", 17890, 17899), }); declarations.push(Declaration { id: DeclarationId(564), @@ -12392,7 +12392,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17874, 17878), + span: SourceSpan::new("dsl/std/types.dag", 17902, 17906), }); declarations.push(Declaration { id: DeclarationId(565), @@ -12406,7 +12406,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17881, 17885), + span: SourceSpan::new("dsl/std/types.dag", 17909, 17913), }); declarations.push(Declaration { id: DeclarationId(566), @@ -12420,7 +12420,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17888, 17898), + span: SourceSpan::new("dsl/std/types.dag", 17916, 17926), }); declarations.push(Declaration { id: DeclarationId(567), @@ -12434,7 +12434,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17901, 17905), + span: SourceSpan::new("dsl/std/types.dag", 17929, 17933), }); declarations.push(Declaration { id: DeclarationId(568), @@ -12448,7 +12448,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17908, 17914), + span: SourceSpan::new("dsl/std/types.dag", 17936, 17942), }); declarations.push(Declaration { id: DeclarationId(569), @@ -12462,7 +12462,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17935, 17941), + span: SourceSpan::new("dsl/std/types.dag", 17963, 17969), }); declarations.push(Declaration { id: DeclarationId(570), @@ -12476,7 +12476,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17944, 17947), + span: SourceSpan::new("dsl/std/types.dag", 17972, 17975), }); declarations.push(Declaration { id: DeclarationId(571), @@ -12490,7 +12490,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17950, 17959), + span: SourceSpan::new("dsl/std/types.dag", 17978, 17987), }); declarations.push(Declaration { id: DeclarationId(572), @@ -12504,7 +12504,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17962, 17964), + span: SourceSpan::new("dsl/std/types.dag", 17990, 17992), }); declarations.push(Declaration { id: DeclarationId(573), @@ -12518,7 +12518,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 17967, 17975), + span: SourceSpan::new("dsl/std/types.dag", 17995, 18003), }); declarations.push(Declaration { id: DeclarationId(574), @@ -12537,7 +12537,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18043, 18050), + span: SourceSpan::new("dsl/std/types.dag", 18071, 18078), }); declarations.push(Declaration { id: DeclarationId(575), @@ -12551,7 +12551,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18447, 18458), + span: SourceSpan::new("dsl/std/types.dag", 18475, 18486), }); declarations.push(Declaration { id: DeclarationId(576), @@ -12565,7 +12565,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18463, 18472), + span: SourceSpan::new("dsl/std/types.dag", 18491, 18500), }); declarations.push(Declaration { id: DeclarationId(577), @@ -12579,7 +12579,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18477, 18484), + span: SourceSpan::new("dsl/std/types.dag", 18505, 18512), }); declarations.push(Declaration { id: DeclarationId(578), @@ -12593,7 +12593,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18489, 18496), + span: SourceSpan::new("dsl/std/types.dag", 18517, 18524), }); declarations.push(Declaration { id: DeclarationId(579), @@ -12607,7 +12607,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18501, 18506), + span: SourceSpan::new("dsl/std/types.dag", 18529, 18534), }); declarations.push(Declaration { id: DeclarationId(580), @@ -12621,7 +12621,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18659, 18669), + span: SourceSpan::new("dsl/std/types.dag", 18687, 18697), }); declarations.push(Declaration { id: DeclarationId(581), @@ -12635,7 +12635,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18674, 18683), + span: SourceSpan::new("dsl/std/types.dag", 18702, 18711), }); declarations.push(Declaration { id: DeclarationId(582), @@ -12649,7 +12649,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 18688, 18694), + span: SourceSpan::new("dsl/std/types.dag", 18716, 18722), }); declarations.push(Declaration { id: DeclarationId(583), @@ -12663,7 +12663,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 20997, 21000), + span: SourceSpan::new("dsl/std/types.dag", 21025, 21028), }); declarations.push(Declaration { id: DeclarationId(584), @@ -12677,7 +12677,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21003, 21007), + span: SourceSpan::new("dsl/std/types.dag", 21031, 21035), }); declarations.push(Declaration { id: DeclarationId(585), @@ -12691,7 +12691,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21010, 21013), + span: SourceSpan::new("dsl/std/types.dag", 21038, 21041), }); declarations.push(Declaration { id: DeclarationId(586), @@ -12705,7 +12705,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21016, 21021), + span: SourceSpan::new("dsl/std/types.dag", 21044, 21049), }); declarations.push(Declaration { id: DeclarationId(587), @@ -12719,7 +12719,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21024, 21030), + span: SourceSpan::new("dsl/std/types.dag", 21052, 21058), }); declarations.push(Declaration { id: DeclarationId(588), @@ -12733,7 +12733,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21033, 21037), + span: SourceSpan::new("dsl/std/types.dag", 21061, 21065), }); declarations.push(Declaration { id: DeclarationId(589), @@ -12747,7 +12747,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21040, 21047), + span: SourceSpan::new("dsl/std/types.dag", 21068, 21075), }); declarations.push(Declaration { id: DeclarationId(590), @@ -12761,7 +12761,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21535, 21541), + span: SourceSpan::new("dsl/std/types.dag", 21563, 21569), }); declarations.push(Declaration { id: DeclarationId(591), @@ -12780,7 +12780,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21546, 21569), + span: SourceSpan::new("dsl/std/types.dag", 21574, 21597), }); declarations.push(Declaration { id: DeclarationId(592), @@ -12799,7 +12799,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21574, 21600), + span: SourceSpan::new("dsl/std/types.dag", 21602, 21628), }); declarations.push(Declaration { id: DeclarationId(593), @@ -12813,7 +12813,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21605, 21611), + span: SourceSpan::new("dsl/std/types.dag", 21633, 21639), }); declarations.push(Declaration { id: DeclarationId(594), @@ -12832,7 +12832,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21803, 21813), + span: SourceSpan::new("dsl/std/types.dag", 21831, 21841), }); declarations.push(Declaration { id: DeclarationId(595), @@ -12851,7 +12851,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21938, 21945), + span: SourceSpan::new("dsl/std/types.dag", 21966, 21973), }); declarations.push(Declaration { id: DeclarationId(596), @@ -12871,7 +12871,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 21985, 21997), + span: SourceSpan::new("dsl/std/types.dag", 22013, 22025), }); declarations.push(Declaration { id: DeclarationId(597), @@ -12890,7 +12890,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22012, 22016), + span: SourceSpan::new("dsl/std/types.dag", 22040, 22044), }); declarations.push(Declaration { id: DeclarationId(598), @@ -12910,7 +12910,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23367, 23385), + span: SourceSpan::new("dsl/std/types.dag", 23395, 23413), }); declarations.push(Declaration { id: DeclarationId(599), @@ -12930,7 +12930,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23478, 23499), + span: SourceSpan::new("dsl/std/types.dag", 23506, 23527), }); declarations.push(Declaration { id: DeclarationId(600), @@ -12949,7 +12949,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23783, 23790), + span: SourceSpan::new("dsl/std/types.dag", 23811, 23818), }); declarations.push(Declaration { id: DeclarationId(601), @@ -12969,7 +12969,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 23823, 23838), + span: SourceSpan::new("dsl/std/types.dag", 23851, 23866), }); declarations.push(Declaration { id: DeclarationId(602), @@ -12989,7 +12989,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24127, 24145), + span: SourceSpan::new("dsl/std/types.dag", 24155, 24173), }); declarations.push(Declaration { id: DeclarationId(603), @@ -13009,7 +13009,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24155, 24173), + span: SourceSpan::new("dsl/std/types.dag", 24183, 24201), }); declarations.push(Declaration { id: DeclarationId(604), @@ -13029,7 +13029,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24195, 24207), + span: SourceSpan::new("dsl/std/types.dag", 24223, 24235), }); declarations.push(Declaration { id: DeclarationId(605), @@ -13048,7 +13048,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24295, 24302), + span: SourceSpan::new("dsl/std/types.dag", 24323, 24330), }); declarations.push(Declaration { id: DeclarationId(606), @@ -13067,7 +13067,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24389, 24396), + span: SourceSpan::new("dsl/std/types.dag", 24417, 24424), }); declarations.push(Declaration { id: DeclarationId(607), @@ -13087,7 +13087,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24424, 24436), + span: SourceSpan::new("dsl/std/types.dag", 24452, 24464), }); declarations.push(Declaration { id: DeclarationId(608), @@ -13107,7 +13107,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24448, 24460), + span: SourceSpan::new("dsl/std/types.dag", 24476, 24488), }); declarations.push(Declaration { id: DeclarationId(609), @@ -13127,7 +13127,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24472, 24484), + span: SourceSpan::new("dsl/std/types.dag", 24500, 24512), }); declarations.push(Declaration { id: DeclarationId(610), @@ -13146,7 +13146,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24619, 24634), + span: SourceSpan::new("dsl/std/types.dag", 24647, 24662), }); declarations.push(Declaration { id: DeclarationId(611), @@ -13165,7 +13165,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24645, 24658), + span: SourceSpan::new("dsl/std/types.dag", 24673, 24686), }); declarations.push(Declaration { id: DeclarationId(612), @@ -13184,7 +13184,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24674, 24687), + span: SourceSpan::new("dsl/std/types.dag", 24702, 24715), }); declarations.push(Declaration { id: DeclarationId(613), @@ -13198,7 +13198,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24713, 24717), + span: SourceSpan::new("dsl/std/types.dag", 24741, 24745), }); declarations.push(Declaration { id: DeclarationId(614), @@ -13212,7 +13212,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24720, 24722), + span: SourceSpan::new("dsl/std/types.dag", 24748, 24750), }); declarations.push(Declaration { id: DeclarationId(615), @@ -13226,7 +13226,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24725, 24726), + span: SourceSpan::new("dsl/std/types.dag", 24753, 24754), }); declarations.push(Declaration { id: DeclarationId(616), @@ -13240,7 +13240,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24729, 24733), + span: SourceSpan::new("dsl/std/types.dag", 24757, 24761), }); declarations.push(Declaration { id: DeclarationId(617), @@ -13259,7 +13259,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 24797, 24804), + span: SourceSpan::new("dsl/std/types.dag", 24825, 24832), }); declarations.push(Declaration { id: DeclarationId(618), @@ -13381,7 +13381,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 10886, 10907), + span: SourceSpan::new("dsl/std/types.dag", 10914, 10935), }); declarations.push(Declaration { id: DeclarationId(623), @@ -13399,7 +13399,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 10938, 10963), + span: SourceSpan::new("dsl/std/types.dag", 10966, 10991), }); declarations.push(Declaration { id: DeclarationId(624), @@ -13417,7 +13417,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11094, 11119), + span: SourceSpan::new("dsl/std/types.dag", 11122, 11147), }); declarations.push(Declaration { id: DeclarationId(625), @@ -13431,7 +13431,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11277, 11319), + span: SourceSpan::new("dsl/std/types.dag", 11305, 11347), }); declarations.push(Declaration { id: DeclarationId(626), @@ -13445,7 +13445,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11506, 11551), + span: SourceSpan::new("dsl/std/types.dag", 11534, 11579), }); declarations.push(Declaration { id: DeclarationId(627), @@ -13459,7 +13459,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11552, 11597), + span: SourceSpan::new("dsl/std/types.dag", 11580, 11625), }); declarations.push(Declaration { id: DeclarationId(628), @@ -13473,7 +13473,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 11598, 11643), + span: SourceSpan::new("dsl/std/types.dag", 11626, 11671), }); declarations.push(Declaration { id: DeclarationId(629), @@ -13487,7 +13487,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12278, 12337), + span: SourceSpan::new("dsl/std/types.dag", 12306, 12365), }); declarations.push(Declaration { id: DeclarationId(630), @@ -13501,7 +13501,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12338, 12397), + span: SourceSpan::new("dsl/std/types.dag", 12366, 12425), }); declarations.push(Declaration { id: DeclarationId(631), @@ -13515,7 +13515,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 12502, 12545), + span: SourceSpan::new("dsl/std/types.dag", 12530, 12573), }); declarations.push(Declaration { id: DeclarationId(632), @@ -13533,7 +13533,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13381, 13394), + span: SourceSpan::new("dsl/std/types.dag", 13409, 13422), }); declarations.push(Declaration { id: DeclarationId(633), @@ -13551,7 +13551,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13426, 13439), + span: SourceSpan::new("dsl/std/types.dag", 13454, 13467), }); declarations.push(Declaration { id: DeclarationId(634), @@ -13569,7 +13569,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13952, 13965), + span: SourceSpan::new("dsl/std/types.dag", 13980, 13993), }); declarations.push(Declaration { id: DeclarationId(635), @@ -13587,7 +13587,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 13997, 14010), + span: SourceSpan::new("dsl/std/types.dag", 14025, 14038), }); declarations.push(Declaration { id: DeclarationId(636), @@ -13601,7 +13601,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14534, 14589), + span: SourceSpan::new("dsl/std/types.dag", 14562, 14617), }); declarations.push(Declaration { id: DeclarationId(637), @@ -13615,7 +13615,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14590, 14644), + span: SourceSpan::new("dsl/std/types.dag", 14618, 14672), }); declarations.push(Declaration { id: DeclarationId(638), @@ -13629,7 +13629,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14645, 14698), + span: SourceSpan::new("dsl/std/types.dag", 14673, 14726), }); declarations.push(Declaration { id: DeclarationId(639), @@ -13643,7 +13643,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14699, 14756), + span: SourceSpan::new("dsl/std/types.dag", 14727, 14784), }); declarations.push(Declaration { id: DeclarationId(640), @@ -13657,7 +13657,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14757, 14814), + span: SourceSpan::new("dsl/std/types.dag", 14785, 14842), }); declarations.push(Declaration { id: DeclarationId(641), @@ -13671,7 +13671,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14815, 14870), + span: SourceSpan::new("dsl/std/types.dag", 14843, 14898), }); declarations.push(Declaration { id: DeclarationId(642), @@ -13685,7 +13685,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14871, 14927), + span: SourceSpan::new("dsl/std/types.dag", 14899, 14955), }); declarations.push(Declaration { id: DeclarationId(643), @@ -13699,7 +13699,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14928, 14984), + span: SourceSpan::new("dsl/std/types.dag", 14956, 15012), }); declarations.push(Declaration { id: DeclarationId(644), @@ -13713,7 +13713,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 14985, 15043), + span: SourceSpan::new("dsl/std/types.dag", 15013, 15071), }); declarations.push(Declaration { id: DeclarationId(645), @@ -13727,7 +13727,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15274, 15345), + span: SourceSpan::new("dsl/std/types.dag", 15302, 15373), }); declarations.push(Declaration { id: DeclarationId(646), @@ -13741,7 +13741,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15346, 15417), + span: SourceSpan::new("dsl/std/types.dag", 15374, 15445), }); declarations.push(Declaration { id: DeclarationId(647), @@ -13755,7 +13755,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15418, 15485), + span: SourceSpan::new("dsl/std/types.dag", 15446, 15513), }); declarations.push(Declaration { id: DeclarationId(648), @@ -13769,7 +13769,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15486, 15547), + span: SourceSpan::new("dsl/std/types.dag", 15514, 15575), }); declarations.push(Declaration { id: DeclarationId(649), @@ -13783,7 +13783,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 15627, 15669), + span: SourceSpan::new("dsl/std/types.dag", 15655, 15697), }); declarations.push(Declaration { id: DeclarationId(650), @@ -13797,7 +13797,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 16054, 16096), + span: SourceSpan::new("dsl/std/types.dag", 16082, 16124), }); declarations.push(Declaration { id: DeclarationId(651), @@ -13811,7 +13811,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22095, 22159), + span: SourceSpan::new("dsl/std/types.dag", 22123, 22187), }); declarations.push(Declaration { id: DeclarationId(652), @@ -13825,7 +13825,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22160, 22217), + span: SourceSpan::new("dsl/std/types.dag", 22188, 22245), }); declarations.push(Declaration { id: DeclarationId(653), @@ -13839,7 +13839,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 22218, 22274), + span: SourceSpan::new("dsl/std/types.dag", 22246, 22302), }); declarations.push(Declaration { id: DeclarationId(654), @@ -14017,7 +14017,7 @@ fn bootstrapped_std_fixture_dag_declarations() -> Vec { value_body: None, refinement: None, nominal_opacity: None, - span: SourceSpan::new("dsl/std/types.dag", 7546, 7570), + span: SourceSpan::new("dsl/std/types.dag", 7574, 7598), }); declarations } diff --git a/src/v3/compiler/tests/integration/parse_corpus_manifest.txt b/src/v3/compiler/tests/integration/parse_corpus_manifest.txt index 8c1283f5714..c47173af76e 100644 --- a/src/v3/compiler/tests/integration/parse_corpus_manifest.txt +++ b/src/v3/compiler/tests/integration/parse_corpus_manifest.txt @@ -11,7 +11,7 @@ dsl/std/magnitude.dag 2 560 d1579da2ea458db8 dsl/std/nat.dag 4 1895 9c5eb0ac8d25a015 dsl/std/rational.dag 4 2379 3c3b86f7e18caf82 dsl/std/string_type.dag 4 1910 119741c6fb9de2e3 -dsl/std/types.dag 111 198793 7665b3224b6546fa +dsl/std/types.dag 111 198793 3a2f47d17a81426d src/v3/compiler/operators.dag 5 47160 b75a91c65bf8a242 src/v3/compiler/parse_tables.dag 43 92946 f6a6c0d08e3081bb src/v3/compiler/pipeline.dag 26 47032 a13b41aa379fd167