Dang, roles are annoying.

Test case: typecheck/should_compile/T10489

Cherry-Picked-From: 61b96a86
Conflicts:
	testsuite/tests/typecheck/should_compile/all.T