fix: improve function type narrow by checking params' literal identical#2822