summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2018-01-01Fix docs for future pulldown migrationMalo Jaffré-17/+31
2017-12-25"incompatible arm" diagnostic span tweakEsteban Küber-2/+12
2017-12-20improve comment about instantiating anon typesNiko Matsakis-6/+34
2017-12-20when using feature(nll), don't warn about AST-based region errorsNiko Matsakis-7/+51
2017-12-20Add nll feature and make nll imply nll_dump_causeSantiago Pastorino-1/+1
2017-12-20refactor `report_generic_bound_failure` to be usable by NLL codeNiko Matsakis-13/+22
2017-12-20connect NLL machinery to the `NiceRegionError` codeNiko Matsakis-1/+1
2017-12-20give precedence to `try_report_named_anon_conflict` methodNiko Matsakis-2/+2
2017-12-20use `Option<ErrorReported>` instead of `bool`Niko Matsakis-34/+25
2017-12-20introduce a `NiceRegionError` type and define methods on thatNiko Matsakis-82/+137
2017-12-20nice_region_error: rustfmtNiko Matsakis-83/+98
2017-12-20extract `find_anon_type` into its own moduleNiko Matsakis-263/+296
2017-12-20make `util` fns private to nice_region_errorNiko Matsakis-8/+8
2017-12-20move nice-region-error reporting into its own moduleNiko Matsakis-5/+16
2017-12-20connect NLL type checker to the impl trait codeNiko Matsakis-5/+42
2017-12-20extract the writeback code for anon types into InferCtxtNiko Matsakis-1/+102
2017-12-20extract `constrain_anon_types` to the `InferCtxt`Niko Matsakis-15/+284
2017-12-20extract `instantiate_anon_types` to the `InferCtxt`Niko Matsakis-0/+201
2017-12-15add a new RegionKind variant: ReClosureBoundNiko Matsakis-1/+29
2017-12-13Add more debug logsSantiago Pastorino-1/+15
2017-12-13Check Repeat RvalueSantiago Pastorino-0/+4
2017-12-10infer: Fix typo in README.Emilio Cobos Álvarez-1/+1
2017-12-09Use Try syntax for Option in place of macros or matchMatt Brubeck-4/+2
2017-12-07replace `InferCtxt::fn_sig` with `closure_sig`Niko Matsakis-32/+12
2017-12-07mir-borrowck returns closure requirements, mir-typeck enforcesNiko Matsakis-0/+5
2017-12-04outlives/env: fix comment, say must and not shouldNiko Matsakis-1/+1
2017-12-04outlives/env: Fix comment that lost surrounding context.Niko Matsakis-3/+2
2017-12-04free_region_map: Fix typo in comment: r_a <= r_bNiko Matsakis-1/+1
2017-12-04rename `greater_than` to `reachable_from`Niko Matsakis-13/+0
2017-12-04rename `implied_bounds` module to `bounds`Niko Matsakis-3/+3
2017-12-04extract the code to create `OutlivesBounds` into its own moduleNiko Matsakis-98/+110
2017-12-04make `no_late_bound_regions` a method on `Binder<T>`Niko Matsakis-3/+3
2017-12-04make `resolve_regions_and_report_errors` take an `OutlivesEnv`Niko Matsakis-36/+35
2017-12-04move `free_regions_map` into `infer::outlives`Niko Matsakis-3/+143
2017-12-04extract the `implied_bounds` code into a helper functionNiko Matsakis-172/+201
2017-12-02Auto merge of #46349 - estebank:highlight-ref, r=arielb1bors-0/+56
2017-12-01MIR: s/Lvalue/Place in type names.Eduard-Mihai Burtescu-5/+5
2017-11-29Include lifetime on highlighted ref type mismatchEsteban Küber-28/+26
2017-11-28On type mismatch error highlight `&` when type matchesEsteban Küber-0/+58
2017-11-25commentsAriel Ben-Yehuda-12/+0
2017-11-25avoid type-live-for-region obligations on dummy nodesAriel Ben-Yehuda-0/+1
2017-11-23Auto merge of #46054 - nikomatsakis:nll-master-to-rust-master-1, r=arielb1bors-14/+14
2017-11-22Implement in-band lifetime bindingsTaylor Cramer-8/+11
2017-11-22Make RegionVid use newtype_index!Santiago Pastorino-14/+14
2017-11-21check that def_id is a local closure in InferCtxt::fn_sigNiko Matsakis-12/+21
2017-11-18give better error messages when a cycle arisesNiko Matsakis-20/+61
2017-11-18remove the `generator_sigs` map, query, and plumbingNiko Matsakis-119/+1
2017-11-18`TyClosure` no longer needs to use `freshen_closure_like`Niko Matsakis-13/+3
2017-11-18remove the `closure_tys` map from `TypeckTables`Niko Matsakis-3/+11
2017-11-18move the signature into the closure typeNiko Matsakis-3/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 11:21:32 +0000