Why type instability?

Is there official way to check if all the functions in a module are type stable?