get span for type annotation instead of just the name of the parameter

[sezna]

petr/petr-typecheck/src/constraint_generation.rs

Lines 697 to 702 in e4b9cd0

	// TODO get span for type annotation instead of just the name of the parameter
	ctx.axiom(*ty, name.span);
	}
	// unify types within the body with the parameter
	let body = self.body.type_check(ctx);

---

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.