pub fn write_impl_concretization<T>(args: &[&str])