Skip to content
Check for copyright header

feat: hint when an autobound variable's type fails to be a function #20784

Sign in to view logs

feat: hint when an autobound variable's type fails to be a function

feat: hint when an autobound variable's type fails to be a function #20784

check-lean-files

check-lean-files
succeeded Dec 4, 2025 in 30s