checkProposal

abstract fun checkProposal(stx: <Error class: unknown class>)