error[E0277]: the trait bound `Env: RandConstructProbabilityMapProvider` is not satisfied --> tests/ui/05-env-fail.rs:50:17 | 50 | let x = Env::create_random::(); | ^^^ the trait `RandConstructProbabilityMapProvider` is not implemented for `Env` | = help: the trait `RandConstructProbabilityMapProvider` is implemented for `Env` = help: for that trait implementation, expected `ProbabilityEnum`, found `MagicItem` note: required by a bound in `create_random` --> /Users/kleb/bethesda/work/repo/klebs-general/random-constructible/src/rand_construct_env.rs:7:15 | 4 | fn create_random() -> R | ------------- required by a bound in this associated function ... 7 | Self: RandConstructProbabilityMapProvider + Sized, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `RandConstructEnvironment::create_random` error[E0277]: the trait bound `Env: RandConstructProbabilityMapProvider` is not satisfied --> tests/ui/05-env-fail.rs:51:17 | 51 | let y = Env::create_random_uniform::(); | ^^^ the trait `RandConstructProbabilityMapProvider` is not implemented for `Env` | = help: the trait `RandConstructProbabilityMapProvider` is implemented for `Env` = help: for that trait implementation, expected `ProbabilityEnum`, found `MagicItem` note: required by a bound in `create_random_uniform` --> /Users/kleb/bethesda/work/repo/klebs-general/random-constructible/src/rand_construct_env.rs:15:15 | 12 | fn create_random_uniform() -> R | --------------------- required by a bound in this associated function ... 15 | Self: RandConstructProbabilityMapProvider + Sized, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `RandConstructEnvironment::create_random_uniform`