improved mixed-template param type handling (promotion/narrowing check)