They are not required to apply for a residence permit, or indeed have any documentary evidence of their ILR visa UK. Some benefits make it more convenient for people to do so.
Indefinite Leave to Remain (ILR) is an immigration status that allows the person holding it to live and work in the UK for an unlimited period, without the need to apply for an extension of the vis