Tax deducted on foreign income

Hello All

I have Question. One of my freind who is a residential status is Resident for FY 17-18 had received Foreign Salary income for 5 months in 17-18 FY when he was deputed in Malaysia. The required tax was deducted and net salary paid to him by his Malaysian employer.

Now, can he claim the credit for tax already paid on foreign income earned ? If yes, what is the procedure

He did not avail TRC from Tax department in FY 17-18

Please help