Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

L

lambda-rust
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Environments
- Service Desk

Snippets Groups Projects

56b22fc3

There was a problem fetching the pipeline summary.

Commit 56b22fc3 authored 7 years ago by Ralf Jung

Downloads
- Patches
- Plain Diff

show that we can covnert 'a to 'static if the function never returns

parent 535c6978

No related branches found

No related tags found

No related merge requests found

Pipeline #

Changes 6
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

.gitignore 1 addition, 1 deletion

.gitignore
_CoqProject 1 addition, 0 deletions

_CoqProject
theories/lifetime/lifetime.v 14 additions, 0 deletions

theories/lifetime/lifetime.v
theories/typing/lft_contexts.v 2 additions, 5 deletions

theories/typing/lft_contexts.v
theories/typing/shr_bor.v 12 additions, 5 deletions

theories/typing/shr_bor.v
theories/typing/type.v 12 additions, 4 deletions

theories/typing/type.v

with 42 additions and 15 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment