Conversation

Wow this is a super nice #Rust error. It's suggesting to wrap the value in a variant of an enum that can hold values of that type. (The suggestion is the correct too)

Screenshot of a Rust error where it suggests wrapping a value in a variatn of an enum due to a type mistmatch. That variant of the enum holds value of the type of the mismatched value.

read image description

ALT

Brendan Zabarauskas

@brendanzab

Replying to

@wezm

Woah! It can figure out a candidate variant 🤯

2:37 AM · Apr 6, 2022Twitter Web App

Replying to

and

Reminds me a little of the proof repair stuff that Talia Ringer works on for dependently typed programming/theorem proving: dependenttyp.es/pdf/thesis.pdf

Esteban K�ber –

@ekuber

Apr 6

This has limitations, it's a heuristic. It only works when there's a variant with a single field of the type that was found, but in practice it works more often than you'd expect and when it does it's just magical 😍 And when it doesn't you don't know what you're missing 👀

Show replies