| 151:402d717bb5c0 | 152:dab30b331f49 |
|---|---|
| 198 | 198 |
| 199 impl<X: Space> Mapping<X> for IdOp<X> { | 199 impl<X: Space> Mapping<X> for IdOp<X> { |
| 200 type Codomain = X::OwnedSpace; | 200 type Codomain = X::OwnedSpace; |
| 201 | 201 |
| 202 fn apply<I: Instance<X>>(&self, x: I) -> Self::Codomain { | 202 fn apply<I: Instance<X>>(&self, x: I) -> Self::Codomain { |
| 203 x.own().into_owned() | 203 x.into_owned() |
| 204 } | 204 } |
| 205 } | 205 } |
| 206 | 206 |
| 207 impl<X: Space> Linear<X> for IdOp<X> {} | 207 impl<X: Space> Linear<X> for IdOp<X> {} |
| 208 | 208 |