Git Product home page Git Product logo

Comments (3)

lqd avatar lqd commented on June 23, 2024 1

Ah I see, it only ICEs on older editions. If you're using a new cargo project to bisect, it will be set to edition=2021 by cargo new.

With that, an ICE bisects to nightly-2022-08-10: broken MIR in DefId(0:9 ~ issue_124189[40d2]::main) (NoSolution): could not prove Binder(WellFormed(<&dyn std::marker::Copy as Trait>::Type), []).

Yeah it looks related to #103899, and both are in very close pieces of code -- although the repro there seems older, so maybe not an exact duplicate per se, but seemingly share some common WF-related cause. That one ICEs in liveness (one of the steps in MIR typeck, <rustc_borrowck::type_check::liveness::trace::LivenessContext>::compute_drop_data) while this one in MIR typeck directly (<rustc_borrowck::type_check::TypeChecker>::fully_perform_op::<(), rustc_middle::ty::ParamEnvAnd<rustc_middle::traits::query::type_op::ProvePredicate>>).

from rust.

cushionbadak avatar cushionbadak commented on June 23, 2024

The ICE indeed appeared at rustc command (at nightly-2024-04-20 as reported),
but I cannot reproduce it with cargo-bisect-rustc.

❯ cargo bisect-rustc --version                                        
cargo-bisect-rustc-bisect-rustc 0.6.8
2024-01-01 ~ 2024-04-20 Log 

❯ cargo bisect-rustc --start=2024-01-01 --end=2024-04-20 --preserve --regress=ice
checking the start range to find a passing nightly
installing nightly-2024-01-01
testing...
RESULT: nightly-2024-01-01, ===> No

checking the end range to verify it does not pass
installing nightly-2024-04-20
testing...
RESULT: nightly-2024-04-20, ===> No
uninstalling nightly-2024-04-20

ERROR: the end of the range (nightly-2024-04-20) does not reproduce the regression

Stack backtrace:
   0: __mh_execute_header
   1: __mh_execute_header
   2: __mh_execute_header
   3: __mh_execute_header
   4: __mh_execute_header
   5: __mh_execute_header

2024-01-01 ~ 2024-04-19 Log 

❯ cargo bisect-rustc --start=2024-01-01 --end=2024-04-19 --preserve --regress=ice
checking the start range to find a passing nightly
installing nightly-2024-01-01
testing...
RESULT: nightly-2024-01-01, ===> No

checking the end range to verify it does not pass
installing nightly-2024-04-19
testing...
RESULT: nightly-2024-04-19, ===> No

ERROR: the end of the range (nightly-2024-04-19) does not reproduce the regression

Stack backtrace:
   0: __mh_execute_header
   1: __mh_execute_header
   2: __mh_execute_header
   3: __mh_execute_header
   4: __mh_execute_header
   5: __mh_execute_header

from rust.

matthiaskrgr avatar matthiaskrgr commented on June 23, 2024

This is probably a duplicate of #103899

from rust.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.