5 Commits

Author	SHA1	Message	Date
surechen	77478e960f	fix some typos	2024-05-21 11:56:12 +02:00
León Orell Valerian Liehr	ffa246b7fd	Rename AstConv to HIR ty lowering	2024-03-23 08:44:42 +01:00
Michael Goulet	2c65ca9a91	Document subtle implied bounds issue in RPITIT inference (#1807)	2023-10-14 15:53:57 +02:00
yukang	28713ffc3a	update internal terminology: Substs -> GenericArgs	2023-08-21 07:28:56 +02:00
Santiago Pastorino	8cd3eb9978	Add RPITIT documentation (#1764)	2023-08-03 18:21:23 -03:00