error[E0207]: the type parameter `R` is not constrained by the impl trait, self type, or predicates --> tests/compile_fail/unconstrained_generic.rs:7:10 | 7 | >(value: &str) -> Option { | ^ unconstrained type parameter