I see it now as an interesting statute of limitations question.  Is the 2017 year still open, because of the rejected 1040-X?   Did IRS wait until after May 17 to request the carrybacks?  Was an extension requested for the 2017 return, back in 2018?