feat: validate Terms used as parameter types are appropriate (into #2309) - #2345

Open

acl-cqc wants to merge 34 commits into

mainfrom

acl/validate_param

Commits on Jun 17, 2025

`...Type` suffix for `TypeParam` variants.
zrho
committed
4430a3e
Merge `TypeArg` and `TypeParam`.
zrho
committed
e270162
Implement functions.
zrho
committed
593bb6a
Docs.
zrho
committed
a972d2a
Adjust `Arbitrary` instance to avoid infinite recursion.
zrho
committed
b0b8507
Import no longer needs to distinguish between type params and args.
zrho
committed
e17e918
JSON compatibility layer in Rust.
zrho
committed
1f62ea4
Added proptest for `Term::contains`.
zrho
committed
d1404b9
Fix `Term::contains`.
zrho
committed
ea05c57
Taking the opportunity to have nicer field names.
zrho
committed
e4cde0b
Formatting.
zrho
committed
377eb27
Update feature gated code.
zrho
committed
ae48d57
Hash change in snapshot test.
zrho
committed
3ff1d5c
Another hash in a snapshot.
zrho
committed
5bfcb55
Tuple fields.
zrho
committed
af19410
Instantiate `Term`s with `From` and `new_*`.
zrho
committed
79066ce
Lints and link to const issue.
zrho
committed
4a9171a
`TermVar`.
zrho
committed
b2e7b6c
Lints.
zrho
committed
be931d9
Extension resolution on `Term`s.
zrho
committed
ba71b19
Formatting.
zrho
committed
7c521f3
Rename `check_type_arg` to `check_term_type`.
zrho
committed
d52193a
Use `.into`
zrho
committed
903da0c
Formatting
zrho
committed
bba7e72
Lints.
zrho
committed
4008375
Typo, `is_supertype`, `Term::Runtime`.
zrho
committed
c401c30
Add validate_param
acl-cqc
committed
b0d58b7
is_supertype need only deal with types
acl-cqc
committed
9d19ba5
update proptest
acl-cqc
committed
67bcc63
Allow variables as parameter types, so validate cached_decls against *earlier* parameters
acl-cqc
committed
b6dfde2
Allow invariant case for variables
acl-cqc
committed
a0996c7
fix corner case of non-type variable
acl-cqc
committed
dfc9444
Missing RuntimeType: StaticType case
acl-cqc
committed
7d08db6
Handle variables by is_cached_static
acl-cqc
committed
1bf35d8