Ilnur Iskhakov

Recursive solver reports ambiguity

7

In https://github.com/rust-analyzer/rust-analyzer/issues/9990 we've found this failing test: ```rust test!( program { #[upstream] #[non_enumerable] #[lang(sized)] trait Sized {} #[non_enumerable] #[object_safe] trait Database {} #[non_enumerable] trait QueryGroup where Self: Sized, { type...

rust-analyzer version: 0.4.1142-standalone (c2eebd7a5 2022-07-26) ```rust #[test] fn box_pat() { check_types( r#" pub struct Global; #[lang = "owned_box"] pub struct Box(T); fn test(b: Box) { let box x = &b;...

 rustc's implementation https://github.com/rust-lang/rust/pull/81869