Shoyu Vanilla (Flint)

Fails to solve some existential clause

2

```rust #[test] fn trait_parameter() { test! { program { #[non_enumerable] trait Trait { type Assoc; } struct Foo {} struct Bar {} impl Trait for Foo { type Assoc =...

This seems quite obvious, but fails; ```rust #[test] fn recursive_assoc_with_gat() { test! { program { #[non_enumerable] trait Foo { type Assoc; type Gat: Foo; } } goal { forall {...

feat: Implement diagnostics for E0038

1

As #17814 was merged, I think that [E0038](https://doc.rust-lang.org/error_codes/E0038.html?highlight=E0038) can be implemented with ease

Fixes #17897 Mainly adopted from https://github.com/rust-lang/rust/blob/100fde5246bf56f22fb5cc85374dd841296fce0e/compiler/rustc_hir_typeck/src/cast.rs

Closes #4896

RFC: goto-definition between `From::from` and `Into::into`

4

Currently if we trigger goto defintion here; ```rust struct Foo; fn foo() -> Foo { struct Bar; impl From for Foo { fn from(_: Bar) -> Self { Foo }...

>We should have a test that make type mismatch error without this PR, but it doesn't emit the error, either with or without this PR. https://github.com/rust-lang/rust/pull/129392/files#r1746775782 I'll address it as...

I recently discovered that the [debug shell](https://orbstack.dev/blog/debug-shell?utm_source=relnotes) uses NixOS under the hood to offer a streamlined developer experience. That’s super cool. My question is: Is it possible to declare a...

Implement representation options to smir

7

Resolves rust-lang/project-stable-mir#89

Fixes rust-lang/rust-analyzer#19929 and fixes rust-lang/rust-analyzer#20051