review: fix: getTypeDeclaration() on nested record type#5015

Merged

slarse merged 5 commits intoINRIA:masterfrom I-Al-Istannen:fix/get-type-declaration-nested-record

Dec 26, 2022

+72-33

Commits on Nov 17, 2022

fix: getTypeDeclaration() on nested record type

committed

Commits on Nov 21, 2022

Merge branch 'master' into fix/get-type-declaration-nested-record
I-Al-Istannen
committed

Commits on Dec 25, 2022