Function default

fn default<T: Default>() -> T