]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #74168 - JohnTitor:help-for-in-band-lifetimes, r=petrochenkov
authorManish Goregaokar <manishsmail@gmail.com>
Sat, 11 Jul 2020 15:53:21 +0000 (08:53 -0700)
committerGitHub <noreply@github.com>
Sat, 11 Jul 2020 15:53:21 +0000 (08:53 -0700)
commit9f7b64eecba095c1efb0f6c5aab8f2ad93fc0df5
treed3496e903d6de7a42b5bbb3971bd8e5ed79e05ad
parent8f8ff1505f762dd29d51a21494b92084a3bad838
parenta9b64766a47ce7a0ad6768b7a74bae7fa991576e
Rollup merge of #74168 - JohnTitor:help-for-in-band-lifetimes, r=petrochenkov

Add a help to use `in_band_lifetimes` in nightly

Fixes #73775