`tachys`: overflow error

[lcnr]

[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<ViewTemplate<V> as AddAnyAttr>::Output<NewAttr>: RenderHtml`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/tachys-0.1.0/src/view/template.rs:63:32
[INFO] [stdout]    |
[INFO] [stdout] 63 |         Self::Output<NewAttr>: RenderHtml,
[INFO] [stdout]    |                                ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: the requirement `<ViewTemplate<V> as AddAnyAttr>::Output<NewAttr>: RenderHtml` appears on the `impl`'s method `add_any_attr` but not on the corresponding trait's method
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/tachys-0.1.0/src/view/add_attr.rs:16:8
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub trait AddAnyAttr {
[INFO] [stdout]    |           ---------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 16 |     fn add_any_attr<NewAttr: Attribute>(
[INFO] [stdout]    |        ^^^^^^^^^^^^ this trait's method doesn't have the requirement `<ViewTemplate<V> as AddAnyAttr>::Output<NewAttr>: RenderHtml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<ViewTemplate<V> as AddAnyAttr>::Output<NewAttr> == _`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/tachys-0.1.0/src/view/template.rs:61:10
[INFO] [stdout]    |
[INFO] [stdout] 61 |     ) -> Self::Output<NewAttr>
[INFO] [stdout]    |          ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<ViewTemplate<V> as AddAnyAttr>::Output<NewAttr>: RenderHtml`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/tachys-0.1.0/src/view/template.rs:63:32
[INFO] [stdout]    |
[INFO] [stdout] 63 |         Self::Output<NewAttr>: RenderHtml,
[INFO] [stdout]    |                                ^^^^^^^^^^

[lcnr]

minimized

pub trait RenderHtml {}
impl<V: ?Sized + RenderHtml> RenderHtml for ViewTemplate<V> {}

pub trait AddAnyAttr {
    type Output: RenderHtml + AddAnyAttr + ?Sized;
}
impl<V: ?Sized + RenderHtml> AddAnyAttr for ViewTemplate<V> {
    type Output = ViewTemplate<V>;
}

pub struct ViewTemplate<V: ?Sized>(V);

// `ViewTemplate<V> as AddAnyAttr>::Output eq ?x`
// - normalize `<ViewTemplate<V> as AddAnyAttr>::Output`
//   - via impl, require `V: RenderHtml` trivial -> `ViewTemplate<V>`
//   - via where-bound to disable impl
//     - normalize `<ViewTemplate<V> as AddAnyAttr>::Output` cycle NoSolution
//
//   - rerun cycle
//   - via impl, require `V: RenderHtml` trivial -> `ViewTemplate<V>`
//   - via where-bound to disable impl
//     - normalize `<ViewTemplate<V> as AddAnyAttr>::Output` cycle `ViewTemplate<V>`
//     - where-bound applies -> disable impl, normalize to rigid
//
//   - rerun cycle
//   - via impl, require `V: RenderHtml` trivial -> `ViewTemplate<V>`
//   - via where-bound to disable impl
//     - normalize `<ViewTemplate<V> as AddAnyAttr>::Output` cycle `<ViewTemplate<V> as AddAnyAttr>::Output`
//     - where-bound does not aply -> use impl
fn overflow<V: ?Sized>()
where
    V: RenderHtml,
    <ViewTemplate<V> as AddAnyAttr>::Output: AddAnyAttr,
{
}

fn main() {}

[lcnr]

this is #89