Skip to content

Instantly share code, notes, and snippets.

@stevenblenkinsop
Forked from anonymous/playground.rs
Last active March 19, 2016 06:28
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save stevenblenkinsop/1c83396e17c26abfc306 to your computer and use it in GitHub Desktop.
Save stevenblenkinsop/1c83396e17c26abfc306 to your computer and use it in GitHub Desktop.
Shared via Rust Playground
use std::any::Any;
trait Schema {
fn eq(&self, other: &Schema) -> bool;
fn as_any(&self) -> &Any;
}
impl<'a, 'b> PartialEq<Schema+'b> for Schema+'a {
fn eq(&self, other: &(Schema+'b)) -> bool {
Schema::eq(self, other)
}
}
#[derive(PartialEq)]
struct Foo(i32);
impl Schema for Foo {
fn eq(&self, other: &Schema) -> bool {
other.as_any().downcast_ref::<Self>().map_or(false, |x| x == self)
}
fn as_any(&self) -> &Any { self }
}
#[derive(PartialEq)]
struct Bar;
impl Schema for Bar {
fn eq(&self, other: &Schema) -> bool {
other.as_any().downcast_ref::<Self>().map_or(false, |x| x == self)
}
fn as_any(&self) -> &Any { self }
}
fn main() {
let foo1: &Schema = &Foo(1);
let foo2: &Schema = &Foo(2);
let bar: &Schema = &Bar;
if foo1 == foo1 && foo1 != foo2 && foo1 != bar {
println!("Hello, world!");
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment