rewrite below rules

[sezna]

petr/petr-typecheck/src/solution.rs

Lines 281 to 286 in e4b9cd0

	/* TODO rewrite below rules
	// literals can unify broader parent types
	// but the broader parent type gets instantiated with the literal type
	// TODO(alex) this rule feels incorrect. A literal being unified to the parent type
	// should upcast the lit, not downcast t1. Check after refactoring.
	(ty, Literal(lit)) => match (&lit, ty) {

---

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.