//@ check-pass
//@ aux-build:default_body.rs
#![crate_type = "lib"]
#![feature(fun_default_body, eq_default_body, constant_default_body)]

extern crate default_body;

use default_body::{Equal, JustTrait};

struct Type;

impl JustTrait for Type {}

impl Equal for Type {
    fn neq(&self, other: &Self) -> bool {
        false
    }
}