tests/ui/rfcs/rfc-2632-const-trait-impl/cross-crate-default-method-body-is-const.rs

// This tests that `const_trait` default methods can
// be called from a const context when used across crates.
//
// check-pass

#![feature(const_trait_impl, effects)]

// aux-build: cross-crate.rs
extern crate cross_crate;

use cross_crate::*;

const _: () = {
    Const.func();
    Const.defaulted_func();
};

fn main() {}