Mazdak Farrokhzad
Mazdak Farrokhzad
@oli-obk should we move this to the const eval repo?
cc @alercah, @rpjohnst Dumping stuff: + Start here... https://github.com/rust-lang/rfcs/pull/2237 + https://github.com/Centril/rfcs/blob/rfc/const-everywhere/text/0000-const-everywhere.md + https://github.com/Centril/rfc-effects
First, I infer from your setup that we have the following typing rule: ``` Δ ⊢ TheTrait trait Δ ⊢ TheType type Δ ⊢ Implemented(TheType, const TheTrait) ---------------------------------------- Δ ⊢...
> TBH I feel this is beyond the level of complexity that is worth throwing at this problem... so really hope we can have something simpler that's getting us most...
I made another program, https://github.com/Centril/crater-cat-errors/, which allows you to triage crater runs which emit several distinct errors (and you want to segregate them). See https://github.com/rust-lang/rust/pull/63247#issuecomment-536169033 for an example report.
Seems like a good addition. For some reason (which has nothing to do with your changes), travis CI complains... I'll look into it. Meanwhile... Could you please add notes on...
@lefoy I'm fine with you owning it and me maintaining it =)
@lefoy iirc I already am a contributor so I can merge stuff, etc. at will - am I missing anything?
Must be an issue with sublime having changed the scope used in the PHP language. You are using the default PHP language, right?