about summary refs log tree commit diff
path: root/src/librustc/ty/sty.rs
AgeCommit message (Collapse)AuthorLines
2019-04-26Update handling of Tuplevarkor-3/+6
2019-04-26Replace `&'tcx List<Ty<'tcx>>` in `Tuple` with `SubstsRef<'tcx>`varkor-1/+1
2019-04-22Fix ICE related to #53708Esteban Küber-1/+1
2019-04-17Fix ICE on const evaluation of const methodEsteban Küber-0/+13
2019-03-16Revert the `LazyConst` PROliver Scherer-76/+3
2019-03-16Rollup merge of #59201 - lambda:remove-repr-simd-isize-usize-restriction, ↵kennytm-1/+0
r=alexcrichton Remove restriction on isize/usize in repr(simd) As discussed in #55078, there's no known reason for this restriction. It's unlikely that repr(simd) will be stabilized in its current form, but might as well remove some restrictions on it. This removes the branch in `is_machine` which returns false for these types. `is_machine` is only used for the repr(simd) type validation check.
2019-03-15Remove restriction on isize/usize in repr(simd)Brian Campbell-1/+0
As discussed in #55078, there's no known reason for this restriction. It's unlikely that repr(simd) will be stabilized in its current form, but might as well remove some restrictions on it. This removes the branch in `is_machine` which returns false for these types. `is_machine` is only used for the repr(simd) type validation check.
2019-03-15rustc: remove TyCtxt::parent_def_id in favor of TyCtxt::parent.Eduard-Mihai Burtescu-2/+2
2019-03-15rustc: rewrite PrintCx::parameterized to be much simpler and more general.Eduard-Mihai Burtescu-1/+1
2019-03-15rustc: tie the 'tcx between Print and PrintCx in ty::print.Eduard-Mihai Burtescu-1/+1
2019-03-15rustc: remove fmt::{Debug,Display} from ty::TyKind.Eduard-Mihai Burtescu-3/+4
2019-03-13Use derive macro for HashStableJohn Kåre Alsaker-19/+35
2019-03-08expand unused doc comment diagnosticAndy Russell-39/+39
Report the diagnostic on macro expansions, and add a label indicating why the comment is unused.
2019-03-05Add type_flags helper methods to constsvarkor-0/+43
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-03-05Add InferConstvarkor-0/+11
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-03-05Add ConstVidvarkor-0/+7
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-03-05Add ParamConstvarkor-0/+20
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-02-27Rename variadic to c_variadicDan Robertson-4/+4
Function signatures with the `variadic` member set are actually C-variadic functions. Make this a little more explicit by renaming the `variadic` boolean value, `c_variadic`.
2019-02-27Support defining C compatible variadic functionsDan Robertson-3/+3
Add support for defining C compatible variadic functions in unsafe rust with extern "C".
2019-02-27rename Substs to InternalSubstscsmoe-5/+5
Change-Id: I3fa00e999a2ee4eb72db1fdf53a8633b49176a18
2019-02-26replace &'tcx Substs with SubstsRefcsmoe-12/+12
2019-02-24reduce a code repetition like (n << amt) >> amtkenta7777-3/+2
2019-02-18Fix style nitsDan Robertson-5/+5
Fix style nits discovered in reading code.
2019-02-10rustc: doc commentsAlexander Regueiro-47/+47
2019-02-07Rollup merge of #58242 - notriddle:patch-3, r=zackmdaviskennytm-0/+1
Document the one TyKind that isn't documented This is especially confusing since the name `Foreign` and the name `extern type` are so different. I deduced that they're the same by consulting git-blame.
2019-02-06Document the one TyKind that isn't documentedMichael Howell-0/+1
This is especially confusing since the name `Foreign` and the name `extern type` are so different. I deduced that they're the same by consulting git-blame.
2019-02-05move librustc to 2018Mark Mansi-11/+11
2019-01-27`ConstValue::ScalarPair` only needs to represent slicesOliver Scherer-2/+2
2019-01-27Add some size assertions for const eval typesOliver Scherer-0/+6
2019-01-05Auto merge of #56837 - arielb1:nonprincipal-trait-objects, r=nikomatsakisbors-6/+41
Add support for trait-objects without a principal The hard-error version of #56481 - should be merged after we do something about the `traitobject` crate. Fixes #33140. Fixes #57057. r? @nikomatsakis
2019-01-04Auto merge of #56723 - oli-obk:lazy_const, r=nikomatsakisbors-35/+39
Don't emit `Unevaluated` from `const_eval` cc @eddyb @RalfJung
2019-01-04add comment to <List<ExistentialPredicates>>::principalAriel Ben-Yehuda-1/+25
2019-01-04avoid giving a principal to marker-only trait objectsAriel Ben-Yehuda-1/+1
Fixes #33140.
2019-01-04add support for principal-less trait object typesAriel Ben-Yehuda-5/+16
should be a pure refactoring.
2019-01-02improve handling for subtypeNiko Matsakis-0/+7
Still not great, but good enough to land this PR.
2019-01-01`<&'tcx ty::Const as Deref>::deref`Oliver Scherer-26/+13
2019-01-01Add `unwrap_usize` to `LazyConst`, tooOliver Scherer-8/+6
2019-01-01Mingw is special wrt type sizesOliver Scherer-1/+1
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-13/+32
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-11Consider privacy in more locationsvarkor-5/+5
2018-12-11Update ub-uninhabit testsvarkor-2/+2
2018-12-11Add note on nonzero-sized uninhabited typesvarkor-1/+2
2018-12-11Improve `conservative_is_uninhabited` commentvarkor-3/+7
2018-12-11Fix Ref inhabitedness commentvarkor-4/+3
2018-12-11Address commentsvarkor-1/+5
2018-12-11Make uninhabitedness checking more intelligentvarkor-3/+29
2018-12-11Check for uninhabitedness instead of nevervarkor-0/+11
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-16/+14
2018-12-06Rollup merge of #56426 - petrochenkov:syntweak, r=nikomatsakisPietro Albini-2/+2
libsyntax_pos: A few tweaks