5 Commits

Author	SHA1	Message	Date
Jonas Schievink	d82292e1ce	Ignore extern items in incorrect-case check	2020-12-10 15:45:01 +01:00
Jonas Schievink	be50908a50	Emit macro diagnostics when lowering bodies	2020-11-30 20:26:35 +01:00
Zac Pullar-Strecker	c648884397	Differentiate method/tymethod by determining 'defaultness' ... Currently a method only has defaultness if it is a provided trait method, but this will change when specialisation is available and may need to become a concept known to hir. I opted to go for a 'fewest changes' approach given specialisation is still under development.	2020-10-08 15:04:21 +13:00
Charles Lew	389d9a6c2d	Lower extern type alias as foreign opaque type.	2020-09-16 20:57:14 +08:00
Aleksey Kladov	b28c54a2c2	Rename ra_hir_def -> hir_def	2020-08-13 16:29:33 +02:00