The carryover from TY2017 should have appeared in form 1116 line 10 for TY2020 even though there was no foreign tax activity for 2018 and 2019.
