summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/assembly/mod.rs
AgeCommit message (Expand)AuthorLines
2023-05-25Strongly prefer alias and param-env boundsMichael Goulet-5/+9
2023-05-25Prepopulate opaques in canonical inputMichael Goulet-3/+5
2023-05-17Exclude inherent projections from some alias ty matchesLeón Orell Valerian Liehr-1/+3
2023-05-09Consolidate the 'match assumption' type methods in GoalKindMichael Goulet-3/+41
2023-05-09Make alias bounds sound in the new solverMichael Goulet-2/+114
2023-04-17Spelling - compilerJosh Soref-2/+2
2023-04-14Move auto trait built-in candidate disqualification to a separate methodMichael Goulet-0/+8
2023-04-12Auto merge of #107614 - compiler-errors:allow-elaborator-to-filter-only-super...bors-1/+4
2023-04-11Allow the elaborator to only filter to real supertraitsMichael Goulet-1/+4
2023-04-10Support safe transmute in new solverMichael Goulet-0/+7
2023-04-10move `structural_traits` into `assembly`lcnr-0/+587