//@ run-pass
//@ aux-build:moves_based_on_type_lib.rs


extern crate moves_based_on_type_lib;
use moves_based_on_type_lib::f;

pub fn main() {
    f();
}