These things are simply too expensive to generate at the moment. More work is needed here; see #13276 and #13261.