error[E0308]: mismatched types --> $DIR/si_system.rs:11:39 | 11 | let _ = Meters::::new(6.0) + Kilometers::::new(4.2); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `typenum::uint::UTerm`, found struct `typenum::uint::UInt` | = note: expected type `fts_units::quantity::QuantityT<_, fts_units::si_system::SIUnitsT>, _>, _, _>, _>>` found type `fts_units::quantity::QuantityT<_, fts_units::si_system::SIUnitsT, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>>, _>, _, _>, _>>` error[E0308]: mismatched types --> $DIR/si_system.rs:12:39 | 12 | let _ = Meters::::new(6.0) - Kilometers::::new(4.2); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `typenum::uint::UTerm`, found struct `typenum::uint::UInt` | = note: expected type `fts_units::quantity::QuantityT<_, fts_units::si_system::SIUnitsT>, _>, _, _>, _>>` found type `fts_units::quantity::QuantityT<_, fts_units::si_system::SIUnitsT, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>>, _>, _, _>, _>>` error[E0277]: the trait bound `fts_units::ratio::RatioT>, typenum::int::PInt>>: fts_units::ops::Xor, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>>, typenum::int::PInt>>>` is not satisfied --> $DIR/si_system.rs:13:37 | 13 | let _ = Meters::::new(6.0) * Kilometers::::new(4.2); | ^ the trait `fts_units::ops::Xor, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>>, typenum::int::PInt>>>` is not implemented for `fts_units::ratio::RatioT>, typenum::int::PInt>>` | = help: the following implementations were found: as fts_units::ops::Xor>> as fts_units::ops::Xor> = note: required because of the requirements on the impl of `fts_units::ops::Xor, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>>` for `fts_units::si_system::SIRatiosT>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>` = note: required because of the requirements on the impl of `std::ops::Mul, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>, fts_units::si_system::SIExponentsT>, typenum::int::Z0, typenum::int::Z0>>>` for `fts_units::si_system::SIUnitsT>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>, fts_units::si_system::SIExponentsT>, typenum::int::Z0, typenum::int::Z0>>` error[E0277]: the trait bound `fts_units::ratio::RatioT>, typenum::int::PInt>>: fts_units::ops::Xor, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>>, typenum::int::PInt>>>` is not satisfied --> $DIR/si_system.rs:14:37 | 14 | let _ = Meters::::new(6.0) / Kilometers::::new(4.2); | ^ the trait `fts_units::ops::Xor, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>>, typenum::int::PInt>>>` is not implemented for `fts_units::ratio::RatioT>, typenum::int::PInt>>` | = help: the following implementations were found: as fts_units::ops::Xor>> as fts_units::ops::Xor> = note: required because of the requirements on the impl of `fts_units::ops::Xor, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>>` for `fts_units::si_system::SIRatiosT>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>` = note: required because of the requirements on the impl of `std::ops::Div, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>, fts_units::si_system::SIExponentsT>, typenum::int::Z0, typenum::int::Z0>>>` for `fts_units::si_system::SIUnitsT>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>, fts_units::si_system::SIExponentsT>, typenum::int::Z0, typenum::int::Z0>>` error[E0308]: mismatched types --> $DIR/si_system.rs:17:39 | 17 | let _ = Meters::::new(6.0) + Meters::::new(4.2); | ^^^^^^^^^^^^^^^^^^^^^^^ expected f32, found f64 | = note: expected type `fts_units::quantity::QuantityT` found type `fts_units::quantity::QuantityT` error[E0308]: mismatched types --> $DIR/si_system.rs:18:39 | 18 | let _ = Meters::::new(6.0) + Meters::::new(4); | ^^^^^^^^^^^^^^^^^^^^^ expected f32, found i32 | = note: expected type `fts_units::quantity::QuantityT` found type `fts_units::quantity::QuantityT` error[E0308]: mismatched types --> $DIR/si_system.rs:19:37 | 19 | let _ = Meters::::new(6) + Meters::::new(4); | ^^^^^^^^^^^^^^^^^^^^^ expected i16, found i32 | = note: expected type `fts_units::quantity::QuantityT` found type `fts_units::quantity::QuantityT` error[E0308]: mismatched types --> $DIR/si_system.rs:22:39 | 22 | let _ = Meters::::new(6.0) - Meters::::new(4.2); | ^^^^^^^^^^^^^^^^^^^^^^^ expected f32, found f64 | = note: expected type `fts_units::quantity::QuantityT` found type `fts_units::quantity::QuantityT` error[E0308]: mismatched types --> $DIR/si_system.rs:23:39 | 23 | let _ = Meters::::new(6.0) - Meters::::new(4); | ^^^^^^^^^^^^^^^^^^^^^ expected f32, found i32 | = note: expected type `fts_units::quantity::QuantityT` found type `fts_units::quantity::QuantityT` error[E0308]: mismatched types --> $DIR/si_system.rs:24:37 | 24 | let _ = Meters::::new(6) - Meters::::new(4); | ^^^^^^^^^^^^^^^^^^^^^ expected i16, found i32 | = note: expected type `fts_units::quantity::QuantityT` found type `fts_units::quantity::QuantityT` error[E0308]: mismatched types --> $DIR/si_system.rs:27:39 | 27 | let _ = Meters::::new(6.0) - Seconds::::new(7.0); | ^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `fts_units::ratio::RatioT`, found struct `fts_units::ratio::RatioZero` | = note: expected type `fts_units::quantity::QuantityT<_, fts_units::si_system::SIUnitsT>, typenum::int::PInt>>, _, fts_units::ratio::RatioZero>, fts_units::si_system::SIExponentsT>, _, typenum::int::Z0>>>` found type `fts_units::quantity::QuantityT<_, fts_units::si_system::SIUnitsT>, typenum::int::PInt>>>, fts_units::si_system::SIExponentsT>>>>` error[E0599]: no method named `convert_into` found for type `fts_units::quantity::QuantityT>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>, fts_units::si_system::SIExponentsT>, typenum::int::Z0, typenum::int::Z0>>>` in the current scope --> $DIR/si_system.rs:30:53 | 30 | let _ : Seconds = Meters::::new(23.0).convert_into(); | ^^^^^^^^^^^^ | = help: items from traits can only be used if the trait is in scope help: the following trait is implemented but not in scope, perhaps add a `use` for it: | 1 | use fts_units::quantity::ConvertUnits; | error[E0308]: mismatched types --> $DIR/si_system.rs:33:39 | 33 | let _ = Meters::::new(6.0) + Dimensionless::::new(4.2); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `fts_units::ratio::RatioT`, found struct `fts_units::ratio::RatioZero` | = note: expected type `fts_units::quantity::QuantityT<_, fts_units::si_system::SIUnitsT>, typenum::int::PInt>>, _, _>, fts_units::si_system::SIExponentsT>, _, _>>>` found type `fts_units::quantity::QuantityT<_, fts_units::si_system::SIUnitsT, fts_units::si_system::SIExponentsT>>` error[E0308]: mismatched types --> $DIR/si_system.rs:34:39 | 34 | let _ = Meters::::new(6.0) - Dimensionless::::new(4.2); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `fts_units::ratio::RatioT`, found struct `fts_units::ratio::RatioZero` | = note: expected type `fts_units::quantity::QuantityT<_, fts_units::si_system::SIUnitsT>, typenum::int::PInt>>, _, _>, fts_units::si_system::SIExponentsT>, _, _>>>` found type `fts_units::quantity::QuantityT<_, fts_units::si_system::SIUnitsT, fts_units::si_system::SIExponentsT>>` error[E0308]: mismatched types --> $DIR/si_system.rs:41:39 | 41 | let _ = Meters::::new(6.0) + 5.0; | ^^^ expected struct `fts_units::quantity::QuantityT`, found floating-point number | = note: expected type `fts_units::quantity::QuantityT>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>, fts_units::si_system::SIExponentsT>, typenum::int::Z0, typenum::int::Z0>>>` found type `{float}` error[E0308]: mismatched types --> $DIR/si_system.rs:42:39 | 42 | let _ = Meters::::new(6.0) - 5.0; | ^^^ expected struct `fts_units::quantity::QuantityT`, found floating-point number | = note: expected type `fts_units::quantity::QuantityT>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>, fts_units::si_system::SIExponentsT>, typenum::int::Z0, typenum::int::Z0>>>` found type `{float}` error[E0308]: mismatched types --> $DIR/si_system.rs:43:39 | 43 | let _ = Meters::::new(6.0) * 5.0; | ^^^ expected struct `fts_units::quantity::QuantityT`, found floating-point number | = note: expected type `fts_units::quantity::QuantityT, fts_units::si_system::SIExponentsT<_, _, _>>>` found type `{float}` error[E0308]: mismatched types --> $DIR/si_system.rs:44:39 | 44 | let _ = Meters::::new(6.0) / 5.0; | ^^^ expected struct `fts_units::quantity::QuantityT`, found floating-point number | = note: expected type `fts_units::quantity::QuantityT, fts_units::si_system::SIExponentsT<_, _, _>>>` found type `{float}` error[E0599]: no method named `invert` found for type `fts_units::quantity::QuantityT>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>, fts_units::si_system::SIExponentsT>, typenum::int::Z0, typenum::int::Z0>>>` in the current scope --> $DIR/si_system.rs:47:35 | 47 | let _ = Meters::::new(9).invert(); | ^^^^^^ error[E0599]: no method named `sqrt` found for type `fts_units::quantity::QuantityT>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>, fts_units::si_system::SIExponentsT>, typenum::int::Z0, typenum::int::Z0>>>` in the current scope --> $DIR/si_system.rs:50:37 | 50 | let _ = Meters::::new(4.0).sqrt(); | ^^^^ error[E0599]: no method named `sqrt` found for type `fts_units::quantity::QuantityT>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>, fts_units::si_system::SIExponentsT, typenum::bit::B1>>, typenum::int::Z0, typenum::int::Z0>>>` in the current scope --> $DIR/si_system.rs:51:91 | 51 | let _ = (Meters::::new(4.0) * Meters::::new(4.0) * Meters::::new(4.0)).sqrt(); | ^^^^ error[E0599]: no function or associated item named `convert_from` found for type `fts_units::quantity::QuantityT>, typenum::int::PInt>>>, fts_units::si_system::SIExponentsT>>>>` in the current scope --> $DIR/si_system.rs:54:29 | 54 | let _ = Seconds::::convert_from(Meters::::new(10.0)); | ^^^^^^^^^^^^ function or associated item not found in `fts_units::quantity::QuantityT>, typenum::int::PInt>>>, fts_units::si_system::SIExponentsT>>>>` | = help: items from traits can only be used if the trait is in scope help: the following trait is implemented but not in scope, perhaps add a `use` for it: | 1 | use fts_units::quantity::ConvertUnits; | error[E0599]: no function or associated item named `convert_from` found for type `fts_units::quantity::QuantityT>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioT>, typenum::int::PInt>>>, fts_units::si_system::SIExponentsT>, typenum::int::Z0, typenum::int::NInt>>>>` in the current scope --> $DIR/si_system.rs:55:37 | 55 | let _ = MetersPerSecond::::convert_from(Meters::::new(10.0)); | ^^^^^^^^^^^^ function or associated item not found in `fts_units::quantity::QuantityT>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioT>, typenum::int::PInt>>>, fts_units::si_system::SIExponentsT>, typenum::int::Z0, typenum::int::NInt>>>>` | = help: items from traits can only be used if the trait is in scope help: the following trait is implemented but not in scope, perhaps add a `use` for it: | 1 | use fts_units::quantity::ConvertUnits; | error[E0599]: no function or associated item named `convert_from` found for type `fts_units::quantity::QuantityT>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>, fts_units::si_system::SIExponentsT>, typenum::int::Z0, typenum::int::Z0>>>` in the current scope --> $DIR/si_system.rs:58:28 | 58 | let _ = Meters::::convert_from(Meters::::new(77.7)); | ^^^^^^^^^^^^ function or associated item not found in `fts_units::quantity::QuantityT>, typenum::int::PInt>>, fts_units::ratio::RatioZero, fts_units::ratio::RatioZero>, fts_units::si_system::SIExponentsT>, typenum::int::Z0, typenum::int::Z0>>>` | = help: items from traits can only be used if the trait is in scope help: the following trait is implemented but not in scope, perhaps add a `use` for it: | 1 | use fts_units::quantity::ConvertUnits; | Some errors occurred: E0277, E0308, E0599. For more information about an error, try `rustc --explain E0277`.