Sky Wilshaw

icon indicating a website link zeramorphic.uk icon indicating an email [email protected]

icon location Cambridge, UK icon location PhD student at Nottingham, researching semantics of memory safety and borrowing.

Results 3 issues of Sky Wilshaw

Minimise imports

Use this:

Start work on Specker's proof

This pull request aims to formalise Specker's proof that Con(TT+Amb) Con(NF).

Implement missing members suggestion shadows type parameters

1 comment

In the following minimal example in latest nightly (using a `struct DiagnosticResult { ... }`), the "implement missing members" intention shadows the type parameter `T`. ![image](https://user-images.githubusercontent.com/50671761/102070002-70e16180-3df6-11eb-999b-636e0bcf1c62.png) ![image](https://user-images.githubusercontent.com/50671761/102070019-75a61580-3df6-11eb-9153-234583bd8a1c.png) This creates rather...

S-actionable
A-assists