Lean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free Variable

{
                    "vendor": "leanprover",
                    "product": "lean4",
                    "repo": "https://github.com/leanprover/lean4",
                    "packageURL": "pkg:github/leanprover/lean4",
                    "defaultStatus": "unaffected",
                    "versions": [
                        {
                            "version": "0",
                            "lessThan": "4.32.2",
                            "status": "affected",
                            "versionType": "semver"
                        }
                    ]
                }