pub fn constexpr_inv( input: MaybeConst, statements: &mut StatementList, ctx: &mut Context<'_>, ) -> MaybeConst