Multiple trait constraints on the same function causing issues

[mohammadfawaz]

Code:

script;

use core::ops::*;

impl<T> Option<T> {
    pub fn ok_or<E>(self, err: E) -> Result<T, E> {
        match self {
            Option::Some(v) => Result::Ok(v),
            Option::None => Result::Err(err),
        }
    }
}

fn test_ok_or<T, E>(val: T, default: E) where T: Eq, E: Eq{
    match Option::Some(val).ok_or(default) {
        Result::Ok(inner) => assert(val == inner),
        Result::Err(_) => revert(0),
    }
}

fn main() {
    test_ok_or(true, 0);
}

The idea is that I want both T and E in test_ok_or to implement Eq so that I can add another test to compare errors. I currently get the following error:

error: Internal compiler error: Verification failed: Type mismatch found for call to 'eq_3'.
Please file an issue on the repository and include the code that triggered this error.

The error goes away where I remove the trait constraint E: Eq on test_ok_or.

[emilyaherbert]

Hi @mohammadfawaz, I wasn't able to replicate the failure, can you confirm? I have your example code in a PR here: #3631