aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | Small grammar fixesKirill Bulatov2021-04-064-21/+22
| * | | | Update Zulip link and macro privacy statementKirill Bulatov2021-04-063-4/+4
* | | | | Merge #8387bors[bot]2021-04-067-33/+53
|\ \ \ \ \
| * | | | | Remove `SolutionVariables`, add ConstrainedSubst analogous to ChalkFlorian Diebold2021-04-067-33/+53
|/ / / / /
* | | | | Merge #8386bors[bot]2021-04-064-10/+74
|\ \ \ \ \
| * | | | | Avoid O(n²) when constructing AttrSourceMapJonas Schievink2021-04-064-10/+74
* | | | | | Merge #8385bors[bot]2021-04-065-103/+85
|\ \ \ \ \ \
| * | | | | | Align `InferenceVar` to ChalkFlorian Diebold2021-04-064-34/+48
| * | | | | | Clean up Chalk mapping a bitFlorian Diebold2021-04-061-69/+37
|/ / / / / /
* | | | | | Merge #8383bors[bot]2021-04-061-1/+1
|\ \ \ \ \ \ | |_|/ / / / |/| | | | |
| * | | | | Update Zulip URLLaurențiu Nicola2021-04-061-1/+1
|/ / / / /
* | | | | Merge #8379bors[bot]2021-04-061-0/+2
|\ \ \ \ \
| * | | | | internal: document broken windowsAleksey Kladov2021-04-061-0/+2
* | | | | | Merge #8381bors[bot]2021-04-061-5/+4
|\ \ \ \ \ \ | | |/ / / / | |/| | | |
| * | | | | Lower attributes on tuple fieldsJonas Schievink2021-04-061-5/+4
|/ / / / /
* | | | | Merge #8380bors[bot]2021-04-063-15/+9
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | infer: remove `record_pat_field_resolutions` fieldJonas Schievink2021-04-063-15/+9
|/ / / /
* | | | Merge #8371bors[bot]2021-04-061-32/+17
|\ \ \ \ | |/ / / |/| | |
| * | | Panic when creating a HirDisplayWrapper with DisplayTarget::SourceCodeLukas Wirth2021-04-061-1/+5
| * | | Don't use HirDisplayWrapper when displaying SourceCodeLukas Wirth2021-04-061-31/+12
* | | | Merge #8376bors[bot]2021-04-068-40/+35
|\ \ \ \
| * | | | infer: remove `record_field_resolutions` fieldJonas Schievink2021-04-068-40/+35
|/ / / /
* | | | Merge #8375bors[bot]2021-04-065-42/+110
|\ \ \ \
| * | | | feat: show errors from `cargo metadata` and initial `cargo check` in the stat...Aleksey Kladov2021-04-063-13/+63
| * | | | Clearer namingAleksey Kladov2021-04-063-29/+47
* | | | | Merge #8374bors[bot]2021-04-062-8/+12
|\ \ \ \ \
| * | | | | Intern TypeRefs stored in BodyJonas Schievink2021-04-062-8/+12
|/ / / / /
* | | | | Merge #8364bors[bot]2021-04-068-33/+54
|\ \ \ \ \
| * | | | | Avoid duplicating VfsPath in vfs::path_interner::PathInterner by using an Ind...Alexandru Macovei2021-04-063-13/+18
| * | | | | Use Box'es to reduce the size of hir_def::expr::Pat from 112 to 64 bytes on 6...Alexandru Macovei2021-04-064-8/+14
| * | | | | Use Box'es to reduce size of hir_def::expr::Expr from 128 to 72 bytes (on 64b...Alexandru Macovei2021-04-063-12/+22
* | | | | | Merge #8368bors[bot]2021-04-0614-226/+246
|\ \ \ \ \ \
| * | | | | | Remove TyExt::dyn_trait_refLukas Wirth2021-04-061-10/+4
| * | | | | | Move Ty accessors to TyExtLukas Wirth2021-04-0614-226/+252
| | |_|/ / / | |/| | | |
* | | | | | Merge #8355bors[bot]2021-04-0612-236/+272
|\ \ \ \ \ \ | |/ / / / / |/| | / / / | | |/ / / | |/| | |
| * | | | Sacrifice for the semicolon godAleksey Kladov2021-04-062-5/+5
| * | | | More robust status notificationsAleksey Kladov2021-04-0611-150/+165
| * | | | Prepare for more stateless status reportingAleksey Kladov2021-04-062-35/+36
| * | | | Use autoreload config to gate execution rather that stalenessAleksey Kladov2021-04-062-7/+8
| * | | | Avoid duplicate `cargo check`sAleksey Kladov2021-04-061-1/+12
| * | | | Improve readabilityAleksey Kladov2021-04-061-29/+28
| * | | | internal: do not drop errors from cargo metadata/checkAleksey Kladov2021-04-064-51/+60
* | | | | Merge #8366bors[bot]2021-04-0612-45/+109
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | Add chalk_ir::Const to TyKind::ArrayLukas Wirth2021-04-0612-45/+109
|/ / / /
* | | | Merge #8359bors[bot]2021-04-0613-42/+66
|\ \ \ \ | |/ / / |/| | |
| * | | Use a constructor function for Static lifetimesLukas Wirth2021-04-066-49/+37
| * | | Always use Static lifetimes in chalk mappingLukas Wirth2021-04-061-1/+2
| * | | Add Lifetime to DynTyLukas Wirth2021-04-063-1/+5
| * | | Add Lifetime to TyKind::RefLukas Wirth2021-04-0613-43/+74
|/ / /
* | | Merge #8360bors[bot]2021-04-054-10/+23
|\ \ \