]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 7ad2b3a 8f2d906)
Rollup merge of #76293 - Amjad50:incompatible_features_error, r=lcnr
authorDylan DPC <dylan.dpc@gmail.com>
Sun, 6 Sep 2020 23:17:50 +0000 (01:17 +0200)
committerGitHub <noreply@github.com>
Sun, 6 Sep 2020 23:17:50 +0000 (01:17 +0200)
commit3d834bc0d36276d96e02c4eca5e6d58594d3806c
tree2d924d083e7db50801d3477437ae6a34dd889c41tree | snapshot
parent7ad2b3ab29446480e0409c87bdcd04f0b1ddaf8dcommit | diff
parent8f2d9069a8c19c5471c4f3490ce21eb910cf3074commit | diff
Rollup merge of #76293 - Amjad50:incompatible_features_error, r=lcnr

Implementation of incompatible features error

Proposal of a new error: Incompatible features

This error should happen if two features which are not compatible are used together.

For now the only incompatible features are `const_generics` and `min_const_generics`

fixes #76280
Empowering everyone to build reliable and efficient software.