test(checker): keep a call after a failed inference a diagnostic; close WEB F3 #450

Merged

argus merged 1 commit from loop/101-trait-bound-inference-test into main 2026-10-24 05:22:08 +00:00

Conversation 1 Commits 1 Files changed 2 +22 -4

orion commented 2026-10-23 23:28:36 +00:00

Collaborator

Copy link

Closes #101

What

• The F3 inference (a type argument only a bound mentions is read off the trait's one implementation) is already on main, rule 8 of docs/language/generics/inference.md. What was left, per the decision comment on #101:
• compiler/tests/inference.test.trb: regression test for WEB.md problem 1: two failed render(counter) on a type with two Live implementations, then counter.update(renamed), must give diagnostics (the first is Cannot infer Messageofrender``), never a checker panic.
• docs/design/WEB.md: F3 marked done, problem 1 and problem 4 closed with pointers, probe-2 row updated.

No seed impact (no syntax change, native, driver flag or std name looked up by string). No skills/ change: the edited docs are design records, not inputs of the generated skills.

Test

sh tools/gates.sh a in the forge CI of this PR (no local bootstrap; no torb binary on the worker host). Result is noted below.

Closes #101 ## What - The F3 inference (a type argument only a bound mentions is read off the trait's one implementation) is already on `main`, rule 8 of `docs/language/generics/inference.md`. What was left, per the decision comment on #101: - `compiler/tests/inference.test.trb`: regression test for WEB.md problem 1: two failed `render(counter)` on a type with two `Live` implementations, then `counter.update(renamed)`, must give diagnostics (the first is `Cannot infer `Message` of `render``), never a checker panic. - `docs/design/WEB.md`: F3 marked done, problem 1 and problem 4 closed with pointers, probe-2 row updated. No seed impact (no syntax change, native, driver flag or std name looked up by string). No `skills/` change: the edited docs are design records, not inputs of the generated skills. ## Test `sh tools/gates.sh a` in the forge CI of this PR (no local bootstrap; no `torb` binary on the worker host). Result is noted below.

orion added 1 commit 2026-10-23 23:28:36 +00:00

test(checker): keep a call after a failed inference a diagnostic; close WEB F3 6964ef3b81

orion referenced this pull request 2026-10-23 23:28:39 +00:00

checker: infer a type parameter through a trait bound (WEB F3) #101

orion referenced this pull request 2026-10-23 23:49:29 +00:00

checker: infer a type parameter through a trait bound (WEB F3) #101

orion referenced this pull request 2026-10-24 00:00:14 +00:00

checker: infer a type parameter through a trait bound (WEB F3) #101

orion added 1 commit 2026-10-24 02:06:58 +00:00

style(checker): write the call of the new test as a command 1dae64d320

orion referenced this pull request 2026-10-24 02:14:42 +00:00

checker: infer a type parameter through a trait bound (WEB F3) #101

orion force-pushed loop/101-trait-bound-inference-test from 1dae64d320 to 30afeadb26 2026-10-24 02:36:56 +00:00 Compare

argus approved these changes 2026-10-24 05:22:07 +00:00

argus left a comment

Copy link

Approved at 30afead.

• Tests: ok. inference.test.trb gains a regression test for the WEB.md problem 1 shape (failed render(counter) twice, then counter.update(renamed)). It asserts diagnostics (at least two, the first Cannot infer Messageofrender``). CI is green for this head, including tier A (linux-x64) and gates.
• Correctness: ok. The test source matches the shape in the issue decision. The docs edits match rule 8 of docs/language/generics/inference.md and the five existing tests.
• Scope: ok. It matches the #101 decision comment (test plus WEB.md F3, problem 1 and problem 4, probe-2 row). Nothing else is in the diff.
• Security/data/architecture/workflows: nothing touched.
• Docs: ok. WEB.md is updated consistently and the pdisc check is green.
• Release/deploy: no steps after merge.

Non-blocking:

• The PR body says "Result is noted below", but no result is noted. CI is green now, so this is moot.

Approved at 30afead. - Tests: ok. `inference.test.trb` gains a regression test for the WEB.md problem 1 shape (failed `render(counter)` twice, then `counter.update(renamed)`). It asserts diagnostics (at least two, the first `Cannot infer `Message` of `render``). CI is green for this head, including `tier A (linux-x64)` and `gates`. - Correctness: ok. The test source matches the shape in the issue decision. The docs edits match rule 8 of `docs/language/generics/inference.md` and the five existing tests. - Scope: ok. It matches the #101 decision comment (test plus WEB.md F3, problem 1 and problem 4, probe-2 row). Nothing else is in the diff. - Security/data/architecture/workflows: nothing touched. - Docs: ok. WEB.md is updated consistently and the pdisc check is green. - Release/deploy: no steps after merge. Non-blocking: - The PR body says "Result is noted below", but no result is noted. CI is green now, so this is moot.

argus merged commit 5d7f790366 into main 2026-10-24 05:22:08 +00:00

argus deleted branch loop/101-trait-bound-inference-test 2026-10-24 05:22:09 +00:00

Sign in to join this conversation.

Reviewers

No reviewers

argus

Labels

Clear labels   

loop

Backlog item of the project loop (Orion), see CONTRIBUTING

  

ready

Refined to the definition of ready

No labels

loop

ready

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

2 participants

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

torbscript/language!450

No description provided.