Change the way type variables are printed in diagnostics#18264

Merged

bors merged 7 commits intomasterfrom unknown repository

Oct 31, 2014

+240-194

Commits on Oct 29, 2014

Improve the readability of diagnostics that involve unresolved type variables
Jakub Bukaj
committed
Update tests with the new diagnostic tweaks
Jakub Bukaj
committed
Address review comments
Jakub Bukaj
committed
Always drop var IDs from type variables modulo -Z verbose, per PR discussion
Jakub Bukaj
committed

Commits on Oct 30, 2014

Add a test for failure to unify type parameters
Jakub Bukaj
committed
Add a test for errors unifying an integer variable with a float variable
Jakub Bukaj
committed
Use the _ representation for integral variables as well
Jakub Bukaj
committed