Skip to content

Instantly share code, notes, and snippets.

@stevenblenkinsop
Forked from anonymous/playground.rs
Last active March 20, 2016 05:45
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/0f4c5d881c1f871ec21e to your computer and use it in GitHub Desktop.
Save stevenblenkinsop/0f4c5d881c1f871ec21e 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 PartialEq<Schema> for Schema {
fn eq(&self, other: &Schema) -> 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+'static) = &Foo(1);
if PartialEq::eq(foo1, foo1) {
println!("Hello, world!");
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment