Pierre Villemot
Pierre Villemot
Sure, ``` thread 'rustc' panicked at creusot/src/translation/traits.rs:298:22: not implemented stack backtrace: 0: rust_begin_unwind 1: core::panicking::panic_fmt 2: core::panicking::panic 3: creusot::translation::traits::TraitResolved::resolve_item 4: ::visit_expr 5: ::visit_expr 6: rustc_middle::thir::visit::walk_expr 7: ::visit_expr 8: ::visit_expr 9:...
> I think I understand what is causing this error: it seems like Creusot is searching for the `call_mut` instance of a `dyn FnMut` type. I can try to emit...
> Can you clarify why we store the `hash` on the type? > > Since the (term) constructors for distinct types are distinct, couldn't we just store the hash associated...
> LGTM > > Nit: I did not notice earlier, but I am not a fan of the "cstr" abbreviation and would very much prefer "constr", if we need to...
Is it better @bclement-ocp ?
So you want a copyright of the form `2013-xxxx` where `xxxx` is the last year we have modified the file?
I removed years in all the headers as we decided during the last dev meeting.
I think we can merge. It is really easy to rollback it with `ack` ;)
Fabrice agreed so we can merge @bclement-ocp
How did you get this message? I tried to reproduce it but I got it only if I change the minimum version of dune language in `dune-project` for `2.8`. My...