Merge "Reject classes inheriting from themselves directly or transitively."