Block or Report
Block or report slavapestov
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
factor Public
Forked from factor/factor
Factor programming language - Github mirror of official GIT repo
-
-
-
-
swift-corelibs-foundation Public
Forked from apple/swift-corelibs-foundation
The Foundation Project, providing core utilities, internationalization, and OS independence
C
-
swift-lldb Public
Forked from apple/swift-lldb
This is the version of LLDB that supports the Swift programming language & REPL.
C++
1,710 contributions in the last year
Contribution activity
April 2022
Created 44 commits in 1 repository
Created a pull request in apple/swift that received 3 comments
RequirementMachine: Try harder to ensure completion only introduces property-like or same-type rules
When computing an overlap between a property-like rule (T.[p] => T for some property symbol [p]) and another rule, try harder to ensure that the new …
Opened 12 other pull requests in 1 repository
apple/swift
12
merged
- Cherry-pick latest SE-0346 changes to 5.7 branch
- Fix bogus ASTPrinter output with synthesized extension for conformance to protocol with primary associated types
- Enable parameterized protocols by default, and add new staging flag for parameterized existentials
- Cherry-pick RequirementMachine fixes to 5.7 branch
- RequirementMachine: Two more minor diagnostics fixes
- RequirementMachine: Generalize hack that allows associated type inheritance clauses to reference protocol typealiases
- Sema: Diagnose missing entries in protocol inheritance clause when requirement machine is enabled
- stdlib: Remove some redundant generic requirements
- RequirementMachine: More debug output from 'propagateRedundantRequirementIDs()' and some other small tweaks
- Revise SE-0346 implementation for core team decision
- RequirementMachine: More minor diagnostics fixes
- RequirementMachine: Minor diagnostics fixes
Reviewed 5 pull requests in 1 repository
apple/swift
5 pull requests
- [RequirementMachine] Diagnose type parameters that are made concrete by a same-type requirement.
- findGenericParameterReferences: Do better at honoring 'treatNonResultCovarianceAsInvariant' and 'hasCovariantSelfResult'
- [stdlib][draft] Adopt primary associated types
- Add doesCastPreserveOwnershipForType() to SIL/Utils/DynamicCasts.cpp
-
SILGen: Handle key paths with
@objc optionalproperty and subscript components