promoteLetDecName
: Fix visibility-related bug
#586
Merged
promoteLetDecName
: Fix visibility-related bug
#586