Bug 951497 - Add type constraints for definite property analysis. r=jandem