rust/compiler/rustc_trait_selection/src/traits
Mara Bos 43d13e2d58
Rollup merge of #79158 - lcnr:lazy-norm-coerce, r=oli-obk
type is too big -> values of the type are too big

strictly speaking, `[u8; usize::MAX]` or even `[[[u128; usize::MAX]; usize::MAX]; usize::MAX]` are absolutely fine types as long as you don't try to deal with any values of it.

This error message seems to cause some confusion imo, for example in https://github.com/rust-lang/rust/pull/79135#issuecomment-729361380 so I would prefer us to be more precise here.

See the added test case which uses one of these types without causing an error.

r? ``@oli-obk``
2020-11-18 15:46:40 +01:00
..
error_reporting words 2020-11-16 22:42:09 +01:00
query Rollup merge of #79158 - lcnr:lazy-norm-coerce, r=oli-obk 2020-11-18 15:46:40 +01:00
select compiler: fold by value 2020-11-16 22:34:57 +01:00
specialize compiler: fold by value 2020-11-16 22:34:57 +01:00
auto_trait.rs compiler: fold by value 2020-11-16 22:34:57 +01:00
chalk_fulfill.rs compiler: fold by value 2020-11-16 22:34:57 +01:00
codegen.rs compiler: fold by value 2020-11-16 22:34:57 +01:00
coherence.rs compiler: fold by value 2020-11-16 22:34:57 +01:00
const_evaluatable.rs Introduce TypeVisitor::BreakTy 2020-11-14 20:25:27 +01:00
engine.rs mv compiler to compiler/ 2020-08-30 18:45:07 +03:00
fulfill.rs compiler: fold by value 2020-11-16 22:34:57 +01:00
misc.rs compiler: fold by value 2020-11-16 22:34:57 +01:00
mod.rs compiler: fold by value 2020-11-16 22:34:57 +01:00
object_safety.rs Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obk 2020-11-17 12:24:34 +00:00
on_unimplemented.rs mv compiler to compiler/ 2020-08-30 18:45:07 +03:00
project.rs words 2020-11-16 22:42:09 +01:00
structural_match.rs Use TypeVisitor::BreakTy in structural_match::Search 2020-11-14 21:15:32 +01:00
util.rs compiler: fold by value 2020-11-16 22:34:57 +01:00
wf.rs compiler: fold by value 2020-11-16 22:34:57 +01:00