remove extra space

This commit is contained in:
AF 2023-04-15 12:35:19 +00:00
parent 6e0dfd4b5e
commit db879642bc

View File

@ -7,7 +7,7 @@ pub mod test_suite;
pub mod tests;
pub trait WeakFunctor {
type F<'a, A: 'a> : 'a;
type F<'a, A: 'a>: 'a;
}
/// Rust-specific implementation of [Functor], respecting `move` semantics.