obj methods can't be type polymorphic independently of the obj

[brson]

type filesearch = obj {
    fn sysroot() -> fs::path;
    fn lib_search_paths() -> [fs::path];
    fn get_target_lib_path() -> fs::path;
    fn get_target_lib_file_path(file: fs::path) -> fs::path;
    fn search<@T>(pick: pick<T>) -> option::t<T>;
};

fn search doesn't parse. This should be possible.

[nikomatsakis]

I was just doing some searching and came across this issue: my one comment is that object polymorphic methods only make sense if we do not monomorphize. Or at least they can only be used in a limited fashion (only for boxes or something like that).

[marijnh]

Obj? There is no obj.