fun after let-in is now consistent (#2705)

fun after let-in is now consistent (#2705) #1024