New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Overloading arithmetic operators by implementing the corresponding traits results in incorrect F* #1290

Closed

maximebuyse opened this issue Feb 4, 2025 · 1 comment · Fixed by #1329

Assignees

Labels

engine

Contributor

maximebuyse commented Feb 4, 2025

struct Wrapped(i32);

impl std::ops::Add for Wrapped {
    type Output = Wrapped;
    fn add(self, rhs: Self) -> Self::Output {
        Wrapped(self.0 + rhs.0)
    }
}

fn test(x: Wrapped, y: Wrapped) -> Wrapped {
    x + y
}

Open this code snippet in the playground

maximebuyse added the engine label

Contributor Author

maximebuyse commented Feb 4, 2025

I think #1235 is a potential fix to this

maximebuyse self-assigned this

maximebuyse mentioned this issue

fix(engine) Allow implementing arithmetic traits. #1329

Merged

W95Psp closed this as completed in #1329

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment