glacier
glacier copied to clipboard
ices/105488.rs: fixed with errors
Issue: https://github.com/rust-lang/rust/issues/105488
pub trait MyFnOnce {
type Output;
fn call_my_fn_once(self) -> Self::Output;
}
pub struct WrapFnOnce<F>(F);
impl<F: FnOnce() -> D, D: MyFnOnce> MyFnOnce for WrapFnOnce<F> {
type Output = D::Output;
fn call_my_fn_once(self) -> Self::Output {
D::call_my_fn_once(self.0())
}
}
impl<F: FnOnce() -> D, D: MyFnOnce> MyFnOnce for F {
type Output = D::Output;
fn call_my_fn_once(self) -> Self::Output {
D::call_my_fn_once(self())
}
}
pub fn my_fn_1() -> impl MyFnOnce {
my_fn_2
}
pub fn my_fn_2() -> impl MyFnOnce {
WrapFnOnce(my_fn_1)
}
fn main() {
let v = my_fn_1();
let _ = v.call_my_fn_once();
}
=== stdout ===
=== stderr ===
error[E0275]: overflow evaluating the requirement `fn() -> impl MyFnOnce {my_fn_2}: MyFnOnce`
|
= help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`105488`)
note: required for `WrapFnOnce<fn() -> impl MyFnOnce {my_fn_1}>` to implement `MyFnOnce`
--> /home/runner/work/glacier/glacier/ices/105488.rs:9:37
|
9 | impl<F: FnOnce() -> D, D: MyFnOnce> MyFnOnce for WrapFnOnce<F> {
| -------- ^^^^^^^^ ^^^^^^^^^^^^^
| |
| unsatisfied trait bound introduced here
= note: 126 redundant requirements hidden
= note: required for `WrapFnOnce<fn() -> impl MyFnOnce {my_fn_1}>` to implement `MyFnOnce`
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0275`.
==============