Generic template types about askama HOT 12 CLOSED

Should be straightforward. I only handle the lifetimes part of Generics so far because I was lazy/test-driven.

from askama.

Nice. I think as long as you detect this case and fail with a better message, this can wait until after you announce the project.

from askama.

Nah, might as well fix it now. Shouldn't be too hard to at least fix the simple cases.

from askama.

BTW, I think your test as written will not work. There needs to be a trait bound T: std::fmt::Display added, but I assume that would be acceptable. I have a fix for this which I'll try to push tonight.

from askama.

Askama should infer the bound, similar to what we do in Serde. This works:

#[derive(Serialize, Deserialize)]
struct Test<T> {
    t: T,
}

from askama.

How does that work in Serde? I'm not sure it would work in Askama, or at least it seems like it would make Askama an order of magnitude more complex than it currently is. This is because Askama templates can require arbitrary complexity from types of fields in the template (which I think is quite a bit different from Serde).

from askama.

(That is to say, it would be fairly easy for this specific case, but it seems Hard for the general case.)

from askama.

You're right, I did not consider that arbitrary expressions make it not feasible to infer bounds.

Either of these should work when using {{ t }}, right?

#[derive(Template)]
#[template(path = "test")]
struct Test<T: Display> {
    t: T,
}

#[derive(Template)]
#[template(path = "test")]
struct Test<T> where T: Display {
    t: T,
}

from askama.

Yup, I have that covered.

from askama.

BTW, I was using to_tokens() to copy over the trait bounds and noticed that the spacing doesn't look so nice, is that worth a bug? I can understand if it's too hard to fix generically in syn or quote.

from askama.

to_tokens() is not designed to generate human-readable output. It is for handing tokens to the compiler. If the user wants to see the generated code they can run cargo expand and see pretty formatted output. Syn / quote should not need to re-implement a pretty-printer for that.

from askama.

(Added test case in f71b2f0, which I tagged with the wrong issue number by mistake.)

from askama.