Moritz Firsching
Moritz Firsching
Perhaps this is a use case for using `alias`?
> Actually, I do think we should have the Injective lemma as well What would be a good name and place for it?
> `Int.ofNat_injective`, and near `Int.natCast_inj` in `Data.Int.Defs`, perhaps done
Thanks for the report! Just so I understand correctly: ``` cjxl image1.jpg image1.jxl ``` and ``` djxl image2.jxl image2.jpg ``` both crash at current head, but when you add `-v`...
that commit (https://github.com/libjxl/libjxl/commit/18726bbad839c057107877e3654461dcb9759e2d) is still from last week, can you try a more recent one?
Thanks for checking!
Can you try again at current head, @simbenjxl?
Can this be closed then?
What version of libjxl are you using?