willcrichton/flowistry

Internal compiler error: could not fully normalize `(usize, <GenrericType>::AssocType)`

alex-caelus opened this issue · 8 comments

alex-caelus commented

Problem

Tried flowistry for the first time against the return value of a rather large generic function.

I'm sorry, code is private and I don't know enough to provide a minimal working example.

Feel free to close as "unable to reproduce"

Logs

OS: linux (5.11.0-36-generic)
VSCode: 1.60.1
Error message

error: could not compile `oqs-afw`

Full log: https://paste.rs/SWQ

Full backtrace https://paste.rs/A0s

willcrichton commented

Thanks for the report @alex-caelus. I committed a change that might fix your problem (894d3fc). I will submit a new release later today -- please try again tomorrow and let me know if it fixes your problem.

  • 😄1
willcrichton commented

I believe this is fixed now, but if the issue persists please reopen this issue.

alex-caelus commented

I'm sorry for no reply. I've been away for a few weeks.

Um..., newbie question, but how do I update? I'm running v0.3.18 of the vs code extension, but I have the same exact issue and output still.

willcrichton commented

@alex-caelus thanks for letting me know. I believe that the next release (v0.3.19) should actually fix your problem, and I will push this release by EOD today. I'll keep this issue open until this is confirmed to be resolved.

alex-caelus commented

I'm not sure if this is related, but now I get the following error:

Running command: 	cargo +nightly-2021-10-08 flowistry backward_slice /home/<user>/repo/src/code.rs 20876 20876 
error
: failed to run `rustc` to learn about target-specific information

Caused by:
  process didn't exit successfully: `/home/<user>/.cargo/bin/flowistry-driver rustc - --crate-name ___ --print=file-names -C target-cpu=native --crate-type bin --crate-type rlib --crate-type dylib --crate-type cdylib --crate-type staticlib --crate-type proc-macro --print=sysroot --print=cfg` (exit status: 127)
  --- stderr
  /home/<user>/.cargo/bin/flowistry-driver: error while loading shared libraries: librustc_driver-d2cc96ed75437e33.so: cannot open shared object file: No such file or directory
willcrichton commented

@alex-caelus can you try running this from the command line?

cargo +nightly-2021-10-08 install flowistry --force
alex-caelus commented

Ah, yes there we go! Thanks, it works now!

willcrichton commented

Ok great! I'll investigate why Flowistry wasn't automatically reinstalling. But for now, this issue seems to be fixed.