Wilco Kusee

@dependabot rebase

@dependabot rebase

That's this assertion in `Binders::substitute()` https://github.com/rust-lang/chalk/blob/60bbf5408cb6050ef62c98fb75400f95f664ccb2/chalk-ir/src/lib.rs#L2249 Backtrace ``` thread 'main' panicked at 'assertion failed: `(left == right)` left: `1`, right: `0`', /home/wilco/p/rust/chalk/chalk-ir/src/lib.rs:2249:9 stack backtrace: 0: rust_begin_unwind at /rustc/bb8c2f41174caceec00c28bc6c5c20ae9f9a175c/library/std/src/panicking.rs:584:5 1: core::panicking::panic_fmt...

[rust-analyzer#7680](https://github.com/rust-analyzer/rust-analyzer/issues/7680) might also be related, as that keeps expanding nested queries with dyn/AliasEq, again inside a closure substitution.

@jackh726 Sure! It's a lot of output, but I think this shows the first few repeats: ``` [INFO hir_ty::traits] trait_solve_query(Implements(|&(?0.0, &?0.1), &(?0.2, ?0.1)| -> Ordering: FnMut)) solve_goal goal=UCanonical { canonical:...

Minimal example: ``` fn main() { foo(|a: u32| {}); } fn foo(f: F) where F: Send, { } ``` Trying to fit this in a test is tricky though, as...

## Checklist * [X] Add syntax for testing (#324) * [X] Check that, without reveal, we can prove that the bounds are true but not other things (#324) * [x]...

Only one task left: extend WF rules for implied bounds interactions. I can't quite remember what we meant with that, but I think it's something along these lines: Given this...

How are we planning to add the assets to nyan? There are 2 options: - Add asset ids/names to the nyan files, which makes it harder to add replacement files...

A good starting point would be parsing the .rms files which generate the random maps (they can be found in the `Random` folder in the original game folder). Most of...