Dawid Lachowicz

cmd/compile: stack overflow when typechecking self-referential types

2

### What did you do? While working on formal methods (in the style of [Featherweight Go](https://dl.acm.org/doi/10.1145/3428217)) and a prototype type checker and interpreter for #65555, I stumbled across an example...

cmd/compile: inconsistent typechecking with self-referential type parameter constraints

1

This issue is similar to #65711. However, the behaviour of the compiler is different, so I am opening a separate issue. ### What did you do? While working on formal...

Without a specific version in the URL, the page returned a 404 response code.

Kani not resolving qualified paths in verify-std

1

I was attempting to write harnesses for trait method implementations in verify-rust-std, but I could not get Kani to resolve the qualified path of the function. I tried this code...

Kani always rebuilds when running verify-std

4

I was following [the instructions to run Kani on the verify-rust-std project](https://model-checking.github.io/verify-rust-std/tools/kani.html#using-kani-to-verify-the-rust-standard-library), and everytime I execute the command the entire project gets rebuilt, even when there are no changes to...

Hi! I found your project and think it's great. I'd love to use and contribute to it, but I noticed it doesn't have a license. This PR adds an MIT...

contracts: clean up feature flag warning duplicated across tests

2

There is no need for every contracts test to assert the same warning for using the `contracts` feature flag, as such use `#![expect(incomplete_features)]` in the tests, and add one test...

contracts: fix lowering final declaration without trailing semicolon

8

Lowering for contract delcarations introduced in rust-lang/rust#144444 incorrectly handled the final declaration statement when it didn't end in a semicolon. This change fixes the issue. See the included regression test...