Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Codegen issue: box mut dyn trait unhandled codegen_pointer_cast #34

Closed
adpaco-aws opened this issue Apr 13, 2021 · 1 comment · Fixed by #108
Closed

Codegen issue: box mut dyn trait unhandled codegen_pointer_cast #34

adpaco-aws opened this issue Apr 13, 2021 · 1 comment · Fixed by #108
Assignees
@markrtuttle
Labels
[C] Bug This is a bug. Something isn't working.

Comments

@adpaco-aws
Copy link
Contributor 

use std::io::{sink, Write};

fn main() {
    let mut log : Box<dyn Write + Send> = Box::new(sink());
    let dest : Box<dyn Write + Send> = Box::new(log.as_mut());
}

Fails with an unhandled pointer cast exception.
@danielsn
Copy link
Contributor

May be resolved by #33

@nchong-at-aws nchong-at-aws changed the title Box mut dyn trait unhandled codegen_pointer_cast Codegen Issue: box mut dyn trait unhandled codegen_pointer_cast Apr 13, 2021
@nchong-at-aws nchong-at-aws changed the title Codegen Issue: box mut dyn trait unhandled codegen_pointer_cast Codegen issue: box mut dyn trait unhandled codegen_pointer_cast Apr 13, 2021
@nchong-at-aws nchong-at-aws added the [C] Bug This is a bug. Something isn't working. label Apr 13, 2021
@danielsn danielsn added this to the Sprint 2021-04-27 milestone Apr 13, 2021
@adpaco-aws adpaco-aws removed this from the Sprint 2021-04-27 milestone Apr 26, 2021
markrtuttle pushed a commit that referenced this issue Apr 27, 2021
Add box mut dyn trait regression test
d52aa5b 
This resolves issue #34
@markrtuttle markrtuttle mentioned this issue Apr 27, 2021
Merged
4 tasks
markrtuttle pushed a commit that referenced this issue Apr 27, 2021
Add box mut dyn trait regression test
0c8f559 
This resolves issue #34
markrtuttle pushed a commit that referenced this issue Apr 27, 2021
Add box mut dyn trait regression test
b706e3c 
This resolves issue #34
markrtuttle pushed a commit that referenced this issue Apr 27, 2021
Add box mut dyn trait regression test
a2d2c56 
This resolves issue #34
markrtuttle added a commit that referenced this issue Apr 27, 2021
@markrtuttle
Add box mut dyn trait regression test (#108)
56fe429 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
adpaco-aws pushed a commit that referenced this issue May 5, 2021
@markrtuttle @adpaco-aws
Add box mut dyn trait regression test (#108)
97a88ba 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
adpaco-aws pushed a commit that referenced this issue May 10, 2021
@markrtuttle @adpaco-aws
Add box mut dyn trait regression test (#108)
34d4c02 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
adpaco-aws pushed a commit that referenced this issue May 26, 2021
@markrtuttle @adpaco-aws
Add box mut dyn trait regression test (#108)
b6032a7 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
adpaco-aws pushed a commit that referenced this issue Jun 1, 2021
@markrtuttle @adpaco-aws
Add box mut dyn trait regression test (#108)
e317ea9 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
adpaco-aws pushed a commit that referenced this issue Jun 7, 2021
@markrtuttle @adpaco-aws
Add box mut dyn trait regression test (#108)
1fabfec 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
adpaco-aws pushed a commit that referenced this issue Jun 17, 2021
@markrtuttle @adpaco-aws
Add box mut dyn trait regression test (#108)
f184ba3 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
adpaco-aws pushed a commit that referenced this issue Jun 23, 2021
@markrtuttle @adpaco-aws
Add box mut dyn trait regression test (#108)
1547944 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
adpaco-aws pushed a commit that referenced this issue Jul 2, 2021
@markrtuttle @adpaco-aws
Add box mut dyn trait regression test (#108)
9b58f34 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
adpaco-aws pushed a commit that referenced this issue Jul 9, 2021
@markrtuttle @adpaco-aws
Add box mut dyn trait regression test (#108)
ec1155a 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
adpaco-aws pushed a commit that referenced this issue Jul 15, 2021
@markrtuttle @adpaco-aws
Add box mut dyn trait regression test (#108)
a5815f3 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
adpaco-aws pushed a commit that referenced this issue Jul 26, 2021
@markrtuttle @adpaco-aws
Add box mut dyn trait regression test (#108)
a5b7c57 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
adpaco-aws pushed a commit that referenced this issue Aug 2, 2021
@markrtuttle @adpaco-aws
Add box mut dyn trait regression test (#108)
b530bb0 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
adpaco-aws pushed a commit that referenced this issue Aug 6, 2021
@markrtuttle @adpaco-aws
Add box mut dyn trait regression test (#108)
cb40235 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
adpaco-aws pushed a commit that referenced this issue Aug 17, 2021
@markrtuttle @adpaco-aws
Add box mut dyn trait regression test (#108)
393ea10 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
adpaco-aws pushed a commit that referenced this issue Aug 24, 2021
@markrtuttle @adpaco-aws
Add box mut dyn trait regression test (#108)
24e28ee 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
celinval referenced this issue in celinval/kani-dev Nov 16, 2021
@calebzulawski
Merge pull request #34 from rust-lang/feature/round
4baa8c2 
Feature/round
tedinski pushed a commit to tedinski/rmc that referenced this issue Apr 22, 2022
@markrtuttle @tedinski
Add box mut dyn trait regression test (model-checking#108)
c1421a2 
This resolves issue model-checking#34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
tedinski pushed a commit to tedinski/rmc that referenced this issue Apr 25, 2022
@markrtuttle @tedinski
Add box mut dyn trait regression test (model-checking#108)
7e25785 
This resolves issue model-checking#34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
tedinski pushed a commit to tedinski/rmc that referenced this issue Apr 26, 2022
@markrtuttle @tedinski
Add box mut dyn trait regression test (model-checking#108)
ac73a98 
This resolves issue model-checking#34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
tedinski pushed a commit that referenced this issue Apr 27, 2022
@markrtuttle @tedinski
Add box mut dyn trait regression test (#108)
6e03039 
This resolves issue #34

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@markrtuttle markrtuttle

Labels
[C] Bug This is a bug. Something isn't working.
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add box mut dyn trait regression test model-checking/kani
4 participants
@danielsn @markrtuttle @nchong-at-aws @adpaco-aws