At present, Naga only allows constant expressions in LocalVariable::init, but there's no reason it couldn't permit override expressions as well.

jimblandy@7985ce1 seems to work fine.