Incorrect trait bound is not satisfied error - Githubissues

intellij-rust / intellij-rust

Rust plugin for the IntelliJ Platform

https://intellij-rust.github.io

MIT License

4.53k stars 380 forks source link

Incorrect trait bound is not satisfied error #7095

Open PizzaCrust opened 3 years ago

PizzaCrust commented 3 years ago

Environment

IntelliJ Rust plugin version: 0.3.146.3792-211-nightly
Rust toolchain version: 1.53.0-nightly (07e0e2ec2 2021-03-24) x86_64-pc-windows-msvc
IDE name and version: IntelliJ IDEA 2021.1 Community Edition (IC-211.6693.111)
Operating system: Windows 10 10.0
Macro expansion engine: new
Name resolution engine: new

Problem description

The IDE incorrectly says that B is not implemented for E<[T]>, however the example compiles.

Steps to reproduce

trait A {}

trait B {}

trait C: B {}

struct E<T: A + ?Sized>(T);

impl<T> B for E<[T]> where [T]: A {}

impl<T> C for E<[T]> where [T]: A {}

PizzaCrust commented 3 years ago

Another case:

trait A {}

trait B {}

trait C: B {}

struct E<'a, T>(&'a T);

impl<'a, T> B for E<'a, T> where &'a T: A {}

impl<'a, T> C for E<'a, T> where &'a T: A {}

So I guess the problem lies within array/reference bounds