make this petr type instead of typevariable

[sezna]

petr/petr-typecheck/src/lib.rs

Lines 231 to 236 in 6c2873b

	// TODO make this petr type instead of typevariable
	List(Box<SpecificType>),
	/// the usize is just an identifier for use in rendering the type
	/// the span is the location of the inference, for error reporting if the inference is never
	/// resolved
	Infer(usize, Span),

---

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.