Repository navigation
T23 — Check type constraints last, and let a derived type only narrow #2424
Description
Task
| slice | size | difficulty | model | who | estimated lines |
|---|---|---|---|---|---|
| Types only narrow | L | needs care | strongest | an agent | 540 (300 code, 240 tests) |
An entry breaking its type's constraint fails naming the layer.
Covers:
- BOX-061
- BOX-062
- BOX-156
Layers:
- constraints:
- crates/mfile/src/box_types.rs: narrowing only; never adds
- crates/mfile/src/expand.rs: constraints checked last
cargo nextest run -p mfile expanded_spec_violating_constraint_exit3_names_type_and_layercargo nextest run -p mfile derived_type_loosening_constraint_exit3_names_type_key_parentcargo nextest run -p mfile constraint_never_adds_package_port_or_egress
Waits on:
Plan block
### T23 — Check type constraints last, and let a derived type only narrow
slice: S5
kind: task
covers: BOX-061, BOX-062, BOX-156
size: L
est: 300 code, 240 tests
executor: agent
difficulty: needs care
model: strongest
diagnostics: error names type, key and layer
observability: none: a pure function, no runtime
layers:
- constraints:
- crates/mfile/src/box_types.rs: narrowing only; never adds
- crates/mfile/src/expand.rs: constraints checked last
test: cargo nextest run -p mfile expanded_spec_violating_constraint_exit3_names_type_and_layer
test: cargo nextest run -p mfile derived_type_loosening_constraint_exit3_names_type_key_parent
test: cargo nextest run -p mfile constraint_never_adds_package_port_or_egress
produces: none
consumes:
- crates/mfile/src/box_types.rs
proof: An entry breaking its type's constraint f
9AE2
ails naming the layer.
depends on:
- blocked by #2420
Activity