Skip to content

Navigation Menu

Appearance settings

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Appearance settings

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

scala / scala3 Public

Notifications You must be signed in to change notification settings
Fork 1.1k
Star 6k

Code
Issues 1.6k
Pull requests 200
Discussions
Actions
Projects 1
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Discussions
Actions
Projects
Security
Insights

Inline traits for specialization in Scala 3#17329

Closed

timotheeandres wants to merge 106 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:inline-traitsdotty-staging/dotty:inline-traitsCopy head branch name to clipboard

Conversation Commits106 (106)Checks Files changed

Closed

Inline traits for specialization in Scala 3#17329
timotheeandres wants to merge 106 commits intoscala:mainfrom
dotty-staging:inline-traits

Commits

Commits on Jun 16, 2023

Allow parsing of inline trait, update printer
timotheeandres
committed
Implement phase 1 of inlining
timotheeandres
committed
Implement phase 2 of inlining
timotheeandres
committed
Use inlining capabilities to inline body of defs
timotheeandres
committed
Improve inlining of traits
timotheeandres
committed
Add atomic tests for inline traits
timotheeandres
committed
Import Nicolas' work
timotheeandres
committed
Avoid generating accessor fields for inline traits
timotheeandres
committed
Use parent span for inlined code
timotheeandres
committed
Blacklist inline trait tests due to pickling
timotheeandres
committed
Add benchmark for toy version of Numeric
timotheeandres
committed
Delete by-name parameter tests
timotheeandres
committed
Revert "Use parent span for inlined code"
timotheeandres
committed
Forbid var in inline traits for now
timotheeandres
committed
Add override modifier to param accessors
timotheeandres
committed
Forbid using/implicit parameters for now
timotheeandres
committed
Fix typo in type bound
timotheeandres
committed
Multiple files tests, quick fix of span
timotheeandres
committed
Improve benchmark, make adding implementations easier
timotheeandres
committed
Add specialized and inline trait matrices for benchmark
timotheeandres
committed
Fix issue with generic type in signature
timotheeandres
committed
Import modifications by Nicolas

nicolasstucki
authored and
timotheeandres
committed
Rework and fix tests
timotheeandres
committed
Make fields private again
timotheeandres
committed
Fix type issue between untpd and tpd
timotheeandres
committed
Add tests with manual override
timotheeandres
committed
Simplify type argument substitution in inline methods

nicolasstucki
authored and
timotheeandres
committed
Refactor creation of inlined symbols

nicolasstucki
authored and
timotheeandres
committed
Only call `inline` on rhs

nicolasstucki
authored and
timotheeandres
committed
Perform misc. changes on tests
timotheeandres
committed
Only allow override final if member is synthetic
timotheeandres
committed
Prevent generation of setters in inline traits
timotheeandres
committed
Don't generate members if they are overridden by user
timotheeandres
committed
Fix type params not being replaced in RHS
timotheeandres
committed
Clean up InlineParentTrait
timotheeandres
committed
Compute overriden symbols only once
timotheeandres
committed
Factorize code to know what to inline from inline trait
timotheeandres
committed
Allow inlining of deferred defs
timotheeandres
committed
Clean up example 4, make version without inner class
timotheeandres
committed
Update inner class tests
timotheeandres
committed
Move special expansion cases in inlining methods
timotheeandres
committed
Create InlineTreeMap, make helper function for param accessors
timotheeandres
committed
Make accessor values functions tailrec
timotheeandres
committed
Implement grandparent inline traits, fix parameters shadowing
timotheeandres
committed
Clean up code to get defs to inline
timotheeandres
committed
Start moving code from Typer
timotheeandres
committed
Fix tests/pos/inline-trait-multiple-stages-generic-defs

nicolasstucki
authored and
timotheeandres
committed
Pass overridden decls when expanding
timotheeandres
committed
Remove pickling test blacklist
timotheeandres
committed
Move trait inlining into Inlining phase
timotheeandres
committed
Implement ancestors inline traits without term args
timotheeandres
committed
Disable test with inner class
timotheeandres
committed
Ensure inline traits have same extends precedence as normal traits
timotheeandres
committed
Partially implement inner traits
timotheeandres
committed
Use typeRef on ctx.owner
timotheeandres
committed
Split symbol inlining method by case
timotheeandres
committed
Improve checks in phases
timotheeandres
committed
Remove RHS of definitions in inline traits
timotheeandres
committed
Add tests with macros (unstable)
timotheeandres
committed
Fix owner of bodies to their rightful symbols
timotheeandres
committed
Add more tests
timotheeandres
committed
Inline code of thisType at sole call site
timotheeandres
committed
Forbid defining inline traits inside inline traits
timotheeandres
committed
Enable inheritance tests
timotheeandres
committed
Check if owner is inline trait last
timotheeandres
committed
Use proper thisType, add coords to inlinedSym
timotheeandres
committed
Extract param accessors code into helper class
timotheeandres
committed
Move trait-related code to InlineParentTrait
timotheeandres
committed
Add missing context to expandStat, refactor code
timotheeandres
committed
Refactor Inlining for clarity
timotheeandres
committed
Factorize code for new inner class names
timotheeandres
committed
Remove last refs to inline trait from Inliner
timotheeandres
committed
Call super before matching in Tree-/TypeMap
timotheeandres
committed
Improve class symbol inlining
timotheeandres
committed
Prevent creating new accessor names for inner class' params
timotheeandres
committed
Do not add override flag to inner class-like type params
timotheeandres
committed
Remove incorrect parent, TODO add correct one
timotheeandres
committed
Add proper type bound to generated type
timotheeandres
committed
Register class-like symbol to be replaced by inliner
timotheeandres
committed
Forbid term params for inline traits
timotheeandres
committed
Create vals for child type and child tree
timotheeandres
committed
Add proper parent to inner class info
timotheeandres
committed
Make function to inline just rhs
timotheeandres
committed
Handle inlining of statements in inline trait body
timotheeandres
committed
Add tests for inner traits
timotheeandres
committed
Remove FIXME along with info mapping
timotheeandres
committed
Add test for anonymous class extending inline trait
timotheeandres
committed
Rename param for clarity
timotheeandres
committed
Create helper methods for inline trait rewriting
timotheeandres
committed
Strip parents of inner class from concrete elements
timotheeandres
committed
Add Synthetic flag to new trait and type
timotheeandres
committed
Adapt body of child to point to inlined members
timotheeandres
committed
Use wildcard for default var value in benchmark
timotheeandres
committed
Add Pair to benchmark
timotheeandres
committed
Manual specialization, remove unused toTuple
timotheeandres
committed

Commits on Jul 4, 2023

Add boxing benchmark for report
timotheeandres
committed
Move inline trait inlining to its own phase
timotheeandres
committed
Add simple test for inner class
timotheeandres
committed
Rework benchmark files for report
timotheeandres
committed
Remove target name for inlined inner class
timotheeandres
committed
Restrict non-local private fields
timotheeandres
committed
Forbid user from overriding vars
timotheeandres
committed
Add tests for constructor arguments with side effects
timotheeandres
committed
Improve error message, remove unused method
timotheeandres
committed
Allow overriding opaque aliases for inline traits
timotheeandres
committed
Let compiler complain if deferred member isn't implemented
timotheeandres
committed

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.