Test Trac #8377

Signed-off-by: Austin Seipp <austin@well-typed.com>
Fix fallout from making lazy unlifted bindings an error

Issue #8022

Signed-off-by: Austin Seipp <austin@well-typed.com>