add missing `follow` when unifying constrained type parameter against `{}` (closes #3545)