decide if user-defined types should be able to safely upcast, or if only

[sezna]

anonymous types should be able to do so

---

petr/petr-typecheck/src/tests.rs

Lines 541 to 546 in e4b9cd0

	// TODO: decide if user-defined types should be able to safely upcast, or if only
	// anonymous types should be able to do so
	#[ignore]
	#[test]
	fn allow_wrong_sum_type_in_add() {
	check(

---

This issue was generated by todo-issue based on a TODO comment in e4b9cd0. It's been assigned to @sezna because they committed the code.