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

// pretty-expanded FIXME #23616

extern crate moves_based_on_type_lib;
use moves_based_on_type_lib::f;

pub fn main() {
    f();
}