Since we now have source locations for reified types again, some error
notes have returned which were previously regressed by this branch.