about summary refs log tree commit diff
path: root/library/std/src/sys/unix/stack_overflow.rs
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2020-06-03 08:43:11 +0000
committerbors <bors@rust-lang.org>2020-06-03 08:43:11 +0000
commitff4aff6ce0f216c8cb8d40f432efaacdaca8095b (patch)
tree1097d9453861691c8d3e743b439a15b69f0de4e5 /library/std/src/sys/unix/stack_overflow.rs
parent680a4b2fbdca0dc6c5ceec826a8dbeabe28f305d (diff)
parent631ac9c472322077304d9acc4de21220c54c56db (diff)
downloadrust-ff4aff6ce0f216c8cb8d40f432efaacdaca8095b.tar.gz
rust-ff4aff6ce0f216c8cb8d40f432efaacdaca8095b.zip
Auto merge of #70107 - lcnr:issue68977, r=eddyb
WF-check all ty::Const's, not just array lengths.

fixes #68977

This PR removes the special case for array length in `wf::compute` and
checks the well formedness of all consts.

Changes `PredicateKind::WellFormed` to take a `GenericArg` and updates `wf::obligations`.
Diffstat (limited to 'library/std/src/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions