don't create an ID and then reference it -- this is messy

[sezna]

petr/petr-typecheck/src/lib.rs

Lines 742 to 747 in 6c2873b

	// TODO don't create an ID and then reference it -- this is messy
	let id = self.generic_type(generic_name);
	SpecificType::Ref(id)
	},
	petr_resolve::Type::Sum(tys) => SpecificType::Sum(tys.iter().map(|ty| self.to_petr_type(ty)).collect()),
	petr_resolve::Type::Literal(l) => SpecificType::Literal(l.clone()),

---

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