Design Meeting: Workflow Checks and Type Aliases in Rust - 2020-07-29

Explore the intricacies of well-formedness checks and type aliases in Rust during this 56-minute design meeting recording from July 29, 2020. Delve into expected behaviors, rationale behind decisions, and the concept of implied bounds. Examine Esteban's pull request, discuss cases with excessive bounds, and consider future compatibility. Engage in a thorough conversation about the importance of these topics, clarify concepts, and learn about writing and enforcing bounds in Rust programming.

Intro
Context
Expected behavior
Rationale
Type aliases
Implied bounds
Estebans pr
Too many bounds cases
Future compatibility
How much do we care
Can you elaborate
Write down bounds
Enforce bounds
Discussion