Can't resize (FileVault) partition after Bootcamp removal
As @alan-shutko pointed out with a hyperlink, the only way to resize a encrypted partition is to disable encryption, (rebooting again,) then changing the size. It worked for me!

It's a lengthy process if you wait for it, but bearable if you let the decryption happen overnight.