Rust: विरासत में मिली विशेषता सीमाओं की पूरी तरह से जाँच नहीं की जाती है

मूल चर्चा: https://users.rust-lang.org/t/unexpected-behaviors-of-trait-bounds/12286/10

ऐसा लगता है कि यह इस पुराने मुद्दे से संबंधित है: https://github.com/rust-lang/rust/issues/29859

मूल रूप से, trait Complete लिए trait Partial trait Complete आवश्यकता होती है, और trait Partial को trait PartialEq (या कोई अन्य विशेषता) की आवश्यकता होती है, एक प्रकार ( struct TypeB ) जिसमें impl Complete को impl PartialEq को संतुष्ट करने की आवश्यकता नहीं है, जो केवल एक बग की तरह दिखता है।

दिलचस्प है, जब भी <TypeB as Partial> देखा जाता है, चेक किया जाता है और उपयुक्त त्रुटि डाली जाती है।

यहाँ एक रेप्रो है:

pub trait Partial: PartialEq {
    fn foo() -> Option<bool>;
}

pub trait Complete: Partial {
    fn foo() -> bool;
}

impl<T> Partial for T
where
    T: Complete,
{
    fn foo() -> Option<bool> {
        Some(<Self as Complete>::foo())
    }
}


// ----

#[derive(PartialEq)]
pub struct TypeA {}

impl Partial for TypeA {
    fn foo() -> Option<bool> {
        None
    }
}


// ----

// BUG: No compile warning about `PartialEq` not being implemented
// #[derive(PartialEq)]
pub struct TypeB {}

impl Complete for TypeB {
    fn foo() -> bool {
        true
    }
}


// ----

pub fn main() {
    println!("{:?}", TypeA::foo());

    // This works, but shouldn't!
    println!("{:?}", <TypeB as Complete>::foo());

    // This would trigger the issue, though.
    //println!("{:?}", <TypeB as Partial>::foo());
    /* Result in:
    error[E0277]: the trait bound `TypeB: std::cmp::PartialEq` is not satisfied
      --> src/bin/cyclic_traits.rs:48:22
       |
    48 |     println!("{:?}", <TypeB as Partial>::foo());
       |                      ^^^^^^^^^^^^^^^^^^^^^^^ can't compare `TypeB` with `TypeB`
       |
       = help: the trait `std::cmp::PartialEq` is not implemented for `TypeB`
       = note: required by `Partial::foo`
    */
}