Florian Diebold 7ec3b66f7a Turn Obligation into something similar to chalk_ir::DomainGoal ... This includes starting to make use of Chalk's `Cast` trait.		2021-03-20 12:47:12 +01:00
..
semantics	Make MacroDefId's AstId mandatory when possible	2021-03-18 15:37:14 +01:00
attrs.rs	Add AttrsWithOwner and clean up source_map	2021-03-19 21:23:57 +01:00
db.rs	Rename item_tree query to file_item_tree	2021-03-18 01:53:37 +01:00
diagnostics.rs	For unresolved macros, hightlight only the last segment	2021-02-28 14:29:10 +03:00
display.rs	Rename Substs -> Substitution	2021-03-16 17:58:17 +01:00
from_id.rs	Remove useless code_model indirection	2021-03-08 22:08:30 +03:00
has_source.rs	Return Either from MacroDefId::ast_id	2021-03-19 19:56:13 +01:00
lib.rs	Turn Obligation into something similar to chalk_ir::DomainGoal	2021-03-20 12:47:12 +01:00
semantics.rs	Make ItemTreeId its own type	2021-03-18 01:53:22 +01:00
source_analyzer.rs	avoid converting types into themselves via .into() (clippy::useless-conversion)	2021-03-17 01:27:56 +01:00