Skip to content

Rename hir::Let into hir::LetExpr#122776

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:rename-hir-let
Mar 21, 2024
Merged

Rename hir::Let into hir::LetExpr#122776
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:rename-hir-let

Commits

Commits on Mar 20, 2024