master
Forbid types with const generics on configurables (#7494)
Refactor `DeclEngine` for robustness and semantic consistency (#7704)
Use `HasChanges` to propagate information about in-place mutations (#7662)
Improve diff between generic argument generic type argument (#7453)
Implement dynamic storage for `storage` declaration and `std` (#7598)
Implement `type_check_finalize` for `DeclEngine` optimization (#7714)