git.lizzy.rs Git - rust.git/search

]> git.lizzy.rs Git - rust.git/search

2020-08-16	David Wood	save_analysis: support `QPath::LangItem` Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-16	David Wood	hir: introduce `QPath::LangItem` Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-16	David Wood	hir: introduce lang items for AST lowering Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-16	David Wood	tests: add test for #61019's current behaviour Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-16	David Wood	lang_items: add support for lang items on variants Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-14	David Wood	polymorphize: `I` used if `T` used in `I: Foo<T>` Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-10	David Wood	polymorphize: constrain unevaluated const handling Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-09	David Wood	instance: only polymorphize upvar substs Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-07	David Wood	instance: polymorphize `FnDef` substs Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-07	David Wood	instance: avoid unnecessary `mk_` calls Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-07	David Wood	ty: add `MAY_POLYMORPHIZE` flag Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-07	David Wood	instance: always polymorphize substs Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-07	David Wood	instance: polymorphize upvar closures/generators Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-07	David Wood	polymorphize: non-promoted unevaluated constants Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-07	David Wood	polymorphize: visit promoted MIR Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-04	David Wood	mir: add debug assertion to check polymorphization Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-04	David Wood	metadata: skip empty polymorphization bitset Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-04	David Wood	mir: use `FiniteBitSet<u32>` in polymorphization Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-02	David Wood	compiletest: print diff for pretty tests Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-02	David Wood	tests: add regression test for #74745 Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-08-02	David Wood	pprust: adjust mixed comment printing Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-31	David Wood	interp: needs_subst -> ensure_monomorphic_enough Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-22	David Wood	tests: add regression test for #74614 Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-22	David Wood	sess: disable polymorphisation Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-22	David Wood	mir: improve polymorphic constant bug Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-20	David Wood	index: introduce and use `FiniteBitSet` Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-20	David Wood	mir: use attribute over `-Z polymorphize-errors` Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-20	David Wood	metadata: record `unused_generic_params` Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-20	David Wood	ty: normalize fn sigs before subst Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-20	David Wood	mir: `unused_generic_params` query Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-20	David Wood	shim: adjust valid shim asserts Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-20	David Wood	debuginfo: add type metadata for params Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-20	David Wood	debuginfo: no type metadata if substs reqd Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-20	David Wood	ty: add doc comments to `Generics` methods Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-20	David Wood	trait_sel: only test predicates w/ no substs Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-20	David Wood	trait_sel: only test predicates w/ no substs Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-20	David Wood	ty: `STILL_FURTHER_SPECIALIZABLE` w/out prnt subst Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-20	David Wood	mir: rename `should_monomorphize_locally` Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-20	David Wood	mir: avoid double substitution Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-20	David Wood	wf: check foreign fn decls for well-formedness Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-17	David Wood	improper_ctypes_definitions: allow `Box` Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-14	David Wood	lint: use `transparent_newtype_field` to avoid ICE Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-14	David Wood	typeck: use `item_name` in cross-crate packed diag Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-12	David Wood	pprust: support multiline comments within lines Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-12	David Wood	typeck: report placeholder type error w/out span Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-02	David Wood	typeck: check for infer before type impls trait Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-02	David Wood	mir: mark mir construction temporaries as internal Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-07-02	David Wood	resolve: disallow label use through closure/async Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-26	David Wood	errors: use `-Z terminal-width` in JSON emitter Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-26	David Wood	improper_ctypes: fix remaining `Reveal:All` Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-25	David Wood	emitter: column width defaults to 140 Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-24	David Wood	improper_ctypes: only allow params in defns mode Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-24	David Wood	improper_ctypes: allow pointers to sized types Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-24	David Wood	lints: add `improper_ctypes_definitions` Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-22	David Wood	bootstrap: no `config.toml` exists regression Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-20	David Wood	lint: normalize projections using opaque types Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-19	David Wood	pretty/mir: const value enums with no variants Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-19	David Wood	ty: simplify `transparent_newtype_field` Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-19	David Wood	lint: unify enum variant, union and struct logic Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-19	David Wood	lint: prohibit fields with opaque types Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-19	David Wood	ty: projections in `transparent_newtype_field` Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-16	David Wood	bootstrap: read config from $RUST_BOOTSTRAP_CONFIG Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-14	David Wood	structural_match: non-structural-match ty closures Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-09	David Wood	lint: transitive FFI-safety for transparent types Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-09	David Wood	lint: check for unit ret type after normalization Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-06-09	David Wood	improper_ctypes: add test for #66202 Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-05-28	David Wood	standardize limit comparisons with `Limit` type Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-05-28	David Wood	mir: adjust conditional in recursion limit check Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-04-02	David Wood	add `STILL_FURTHER_SPECIALIZABLE` flag Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2020-03-12	David Wood	codegen/mir: support polymorphic `InstanceDef`s Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-12-08	David Wood	async/await: correct diag note for `async move` Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-12-08	David Wood	async/await: more improvements to non-send errors Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-11-05	David Wood	libstd: allow `improper_ctypes` in `sys/sgx` Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-11-05	David Wood	tests: add `#[repr(C)]` to test Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-11-05	David Wood	improper ctypes: adjust lint msg for extern fns Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-11-05	David Wood	codegen_llvm: remove unnecessary "extern C" Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-11-05	David Wood	improper_ctypes: `extern "C"` fns	commit \| commitdiff \| tree
2019-10-28	David Wood	suggest `const_in_array_repeat_expression` flag Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-10-25	David Wood	RFC 2008: Stabilization Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-10-23	David Wood	ignore uninhabited non-exhaustive variant fields Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-10-08	David Wood	resolve: prohibit foreign statics w/ generics Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-10-05	David Wood	lint: extern non-exhaustive types are improper Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-10-02	David Wood	syntax: improve parameter without type suggestions Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-09-30	David Wood	async/await: improve obligation errors Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-09-30	David Wood	typeck: silence unreachable code from await Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-09-26	David Wood	hir: stop checking codegen fn attrs for constants Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-09-26	David Wood	hir: Disallow `target_feature` on constants Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-09-10	David Wood	lowering: extend temporary lifetimes around await Signed-off-by: David Wood <david@davidtw.co>	commit \| commitdiff \| tree
2019-08-12	David Wood	typeck: Prohibit RPIT types that inherit lifetimes	commit \| commitdiff \| tree
2019-07-26	David Wood	lowering: Omit bare trait lint on macro call sites	commit \| commitdiff \| tree
2019-07-20	David Wood	tests: Add minimal reproduction of #61963.	commit \| commitdiff \| tree
2019-07-07	David Wood	tests: Add tests that use const fns.	commit \| commitdiff \| tree
2019-07-07	David Wood	tests: Update and add tests for RFC 2203.	commit \| commitdiff \| tree
2019-07-07	David Wood	rustc_mir: Re-use `report_selection_error`.	commit \| commitdiff \| tree
2019-07-07	David Wood	syntax: Add feature gate.	commit \| commitdiff \| tree
2019-07-07	David Wood	rustc/rustc_mir: Implement RFC 2203.	commit \| commitdiff \| tree
2019-07-03	David Wood	typeck: merge opaque type inference logic	commit \| commitdiff \| tree
2019-06-13	David Wood	typeck: Fix ICE for blocks in repeat expr count.	commit \| commitdiff \| tree
2019-06-10	David Wood	typeck: Fix const generic in repeat param ICE.	commit \| commitdiff \| tree
2019-06-07	David Wood	tests: Add regression test for #61452.	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom