Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Implement Chalk variable kinds | Florian Diebold | 2020-07-01 | 1 | -15/+40 |
* | Simlify with matches!() | Veetaha | 2020-06-28 | 1 | -5/+1 |
* | Rename Expr::UnsafeBlock to Expr::Unsafe | Paul Daniel Faria | 2020-06-27 | 1 | -1/+1 |
* | Track unsafe blocks, don't trigger missing unsafe diagnostic when unsafe expr... | Paul Daniel Faria | 2020-06-27 | 1 | -0/+1 |
* | Infer type for slice wildcard patterns | adamrk | 2020-06-25 | 1 | -2/+7 |
* | Fix string literal inference in match | Laurențiu Nicola | 2020-06-24 | 1 | -13/+20 |
* | Push obligation instead of matching on solution | adamrk | 2020-06-20 | 1 | -41/+36 |
* | Get Output assoc type by name | adamrk | 2020-06-20 | 1 | -13/+3 |
* | Fixes to callable_sig_from_fn_trait | adamrk | 2020-06-20 | 1 | -65/+65 |
* | Make get_fn_trait a method of FnTrait | adamrk | 2020-06-20 | 1 | -2/+2 |
* | Switch back callable_sig for known fn types | adamrk | 2020-06-20 | 2 | -4/+4 |
* | Infer FnSig from Fn traits | adamrk | 2020-06-19 | 2 | -16/+92 |
* | Fix substs in resolve_value_path for ImplSelf | Vincent Rouillé | 2020-06-19 | 1 | -1/+1 |
* | Clean up handling of int/float literal types | Florian Diebold | 2020-06-06 | 1 | -16/+12 |
* | Fix type parameter defaults | Florian Diebold | 2020-06-05 | 1 | -1/+2 |
* | correctly infer labelled breaks | robojumper | 2020-05-31 | 1 | -16/+29 |
* | Merge #4653 | bors[bot] | 2020-05-30 | 1 | -5/+11 |
|\ | |||||
| * | Fix match ergonomics in closure parameters | Florian Diebold | 2020-05-29 | 1 | -5/+11 |
* | | Merge #4651 | bors[bot] | 2020-05-29 | 1 | -3/+1 |
|\ \ | |/ |/| | |||||
| * | Use first match branch in case of type mismatch, not last | Florian Diebold | 2020-05-29 | 1 | -3/+1 |
* | | Support raw_ref_op's raw reference operator | robojumper | 2020-05-28 | 1 | -14/+23 |
|/ | |||||
* | Switch to new magic marks | Aleksey Kladov | 2020-05-20 | 3 | -9/+9 |
* | Apply suggestion of @flodiebold: Get rid of multiple unwraps | Roland Ruckerbauer | 2020-05-19 | 1 | -12/+10 |
* | loop return value inference: coerce_merge branches | Roland Ruckerbauer | 2020-05-19 | 1 | -15/+23 |
* | Infer return type of loops with value breaks. | Roland Ruckerbauer | 2020-05-18 | 1 | -6/+15 |
* | Handle `Self` in values and patterns | Florian Diebold | 2020-05-15 | 1 | -1/+34 |
* | Handle coercing function types to function pointers in match | Florian Diebold | 2020-05-08 | 1 | -11/+23 |
* | Add diagnostic for break outside of loop | Florian Diebold | 2020-05-08 | 1 | -0/+4 |
* | Handle break somewhat better | Florian Diebold | 2020-05-08 | 1 | -2/+27 |
* | Implement better handling of divergence | Florian Diebold | 2020-05-08 | 1 | -14/+39 |
* | Fix type of byte literals | Florian Diebold | 2020-05-08 | 1 | -2/+2 |
* | Revert "Merge #4233" | Aleksey Kladov | 2020-05-02 | 1 | -0/+5 |
* | Kill more zombies | Aleksey Kladov | 2020-04-30 | 1 | -5/+0 |
* | Rename StructField -> Field | Aleksey Kladov | 2020-04-25 | 2 | -7/+5 |
* | Fix goto definition for record patterns | Aleksey Kladov | 2020-04-18 | 1 | -0/+6 |
* | Fix type equality for dyn Trait | Florian Diebold | 2020-04-17 | 2 | -5/+41 |
* | Switch Chalk to recursive solver | Florian Diebold | 2020-04-16 | 1 | -0/+1 |
* | handle tuple patterns with ellipsis | Josh Mcguigan | 2020-04-13 | 1 | -3/+3 |
* | add record pat missing field diagnostic | Josh Mcguigan | 2020-04-10 | 1 | -1/+1 |
* | missing match arms diagnostic | Josh Mcguigan | 2020-04-07 | 2 | -3/+15 |
* | Upgrade Chalk again | Florian Diebold | 2020-04-05 | 1 | -11/+17 |
* | Add inference for literal and range patterns | Florian Diebold | 2020-04-01 | 1 | -2/+9 |
* | Use `dyn Trait` for working with databse | Aleksey Kladov | 2020-03-16 | 5 | -37/+35 |
* | Resolve `Self::AssocTy` in impls | Florian Diebold | 2020-03-06 | 1 | -2/+2 |
*-. | Merge #3397 #3398 | bors[bot] | 2020-03-02 | 1 | -6/+2 |
|\ \ | |||||
| | * | Reformat? | Aleksey Kladov | 2020-03-02 | 1 | -6/+2 |
| |/ | |||||
* | | Merge #3385 | bors[bot] | 2020-03-02 | 1 | -3/+12 |
|\ \ | |/ |/| | |||||
| * | Fix #3373 | Florian Diebold | 2020-03-01 | 1 | -3/+12 |
* | | handle array pattern matching type inference | Josh Mcguigan | 2020-03-01 | 1 | -10/+14 |
* | | remove match statement, handle suffix | Josh Mcguigan | 2020-03-01 | 1 | -12/+9 |